Pages that link to "Item:Q4032884"

The following pages link to About the proof-theoretic ordinals of weak fixed point theories (Q4032884):

Displaying 15 items.

• Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\) (Q481870) (← links)
• Proof-theoretic conservations of weak weak intuitionistic constructive set theories (Q490665) (← links)
• The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories (Q639666) (← links)
• The \(\mu\) quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals (Q1267848) (← links)
• Some results on cut-elimination, provable well-orderings, induction and reflection (Q1295413) (← links)
• Systems of explicit mathematics with non-constructive \(\mu\)-operator. I (Q1314542) (← links)
• Proof theory for theories of ordinals. I: Recursively Mahlo ordinals (Q1400597) (← links)
• Takeuti's well-ordering proof: finitistically fine? (Q1711783) (← links)
• Provability algebras and proof-theoretic ordinals. I (Q1877092) (← links)
• Second order theories with ordinals and elementary comprehension (Q1908814) (← links)
• (Q3025175) (← links)
• Non-elementary speed-ups in logic calculi (Q3545216) (← 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)
• Proof Theory for Theories of Ordinals III: $$\Pi _{N}$$ -Reflection (Q5361255) (← links)