Pages that link to "Item:Q4254619"

The following pages link to The proof-theoretic analysis of transfinitely iterated fixed point theories (Q4254619):

Displaying 25 items.

• Contextual-hierarchical reconstructions of the strengthened liar problem (Q253127) (← links)
• Classes and truths in set theory (Q450946) (← links)
• A new proof of the fixed-point theorem of provability logic (Q923072) (← links)
• Some results on cut-elimination, provable well-orderings, induction and reflection (Q1295413) (← links)
• The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice (Q1400604) (← links)
• Universes over Frege structures (Q1861539) (← links)
• An intensional fixed point theory over first order arithmetic (Q1877095) (← links)
• Truth and the philosophy of mathematics (Q2080591) (← links)
• Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts (Q2144614) (← links)
• Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives (Q2285848) (← links)
• A flexible type system for the small Veblen ordinal (Q2312096) (← links)
• On the relationship between fixed points and iteration in admissible set theory without foundation (Q2486984) (← links)
• Reflections on reflections in explicit mathematics (Q2566068) (← links)
• Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory (Q2747729) (← links)
• A note on the theory SID<ω of stratified induction (Q2933746) (← links)
• About Truth and Types (Q3305551) (← links)
• The proof-theoretic analysis of transfinitely iterated quasi least fixed points (Q3410669) (← links)
• (Q3837736) (← links)
• Wellordering proofs for metapredicative Mahlo (Q4532614) (← links)
• Transfinite dependent choice and <i>ω</i>-model reflection (Q4779657) (← links)
• Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$ (Q5013900) (← links)
• A Note on (Meta)predicative Wellordering Proofs (Q5013902) (← links)
• Feferman and the Truth (Q5214789) (← links)
• Universes in explicit mathematics (Q5939842) (← links)
• Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\) (Q6614045) (← links)