Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"unprovability"”.
-
Unprovability and phase transitions in Ramsey theory
… 1 sketches out the historical development of unprovability and phase transitions, and offers a little information on Ramsey theory. In addition, it introduces the necessary mathematical background by giving definitions and some useful lemmas. Chapter 2 deals with the pigeonhole principle, …
-
Proof-Theoretical Aspects of Well Quasi-Orders and Phase Transitions in Arithmetical Provability
… locate the threshold separating provability and unprovability for statements regarding Goodstein sequences, Hydra games and Ackermannian functions.