Book contents
- Frontmatter
- Contents
- Preface
- An Introduction To Finitary Analyses Of Proof Figures
- What Mathematical Truth Could Not Be – II
- Proof Search in Constructive Logics
- David's Trick
- A Semantical Calculus for Intuitionistic Propositional Logic
- An Iteration Model Violating the Singular Cardinals Hypothesis
- An Introduction to Core Model Theory
- Games of Countable Length
- On the Complexity of the Propositional Calculus
- The Realm of Orinal Analysis
- Covering Properties of Core Models
- Ordinal Systems
- Polish Group Topologies
- Forcing Closed Unbounded Subsets of Nw+1
- First Steps into Metapredicativity in Explicit Mathematics
- What Makes A (Pointwise) Subrecursive Hierarchy Slow Growing?
- Minimality Arguments for Infinite Time Turing Degrees
Frontmatter
Published online by Cambridge University Press: 05 September 2013
Book contents
- Frontmatter
- Contents
- Preface
- An Introduction To Finitary Analyses Of Proof Figures
- What Mathematical Truth Could Not Be – II
- Proof Search in Constructive Logics
- David's Trick
- A Semantical Calculus for Intuitionistic Propositional Logic
- An Iteration Model Violating the Singular Cardinals Hypothesis
- An Introduction to Core Model Theory
- Games of Countable Length
- On the Complexity of the Propositional Calculus
- The Realm of Orinal Analysis
- Covering Properties of Core Models
- Ordinal Systems
- Polish Group Topologies
- Forcing Closed Unbounded Subsets of Nw+1
- First Steps into Metapredicativity in Explicit Mathematics
- What Makes A (Pointwise) Subrecursive Hierarchy Slow Growing?
- Minimality Arguments for Infinite Time Turing Degrees
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Sets and Proofs , pp. i - ivPublisher: Cambridge University PressPrint publication year: 1999