The following pages link to The consistency of arithmetics (Q5925300):
Displayed 40 items.
- The constructive Hilbert program and the limits of Martin-Löf type theory (Q813417) (← links)
- Ordinal arithmetic: Algorithms and mechanization (Q851144) (← links)
- Toward automating the discovery of decreasing measures (Q861690) (← links)
- Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006 (Q873911) (← links)
- Too naturalist and not naturalist enough: Reply to Horsten (Q954789) (← links)
- A weak intuitionistic propositional logic with purely constructive implication (Q1102265) (← links)
- Experimental logics and \(\Delta^0_2\)-theories (Q1222647) (← links)
- Hilbert's logic. From axiomatics to proof theory (Q1267397) (← links)
- Studies in constructive mathematics and mathematical logic. Part IX (Q1307304) (← links)
- Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics (Q1807457) (← links)
- A method of epsilon substitution for the predicate logic with equality (Q1807464) (← links)
- A Ramsey theorem in Boyer-Moore logic (Q1904403) (← links)
- Epsilon substitution method for elementary analysis (Q1908821) (← links)
- Die another day (Q2272192) (← links)
- Proof theory and ordinal analysis (Q2276954) (← links)
- Notation systems for infinitary derivations (Q2277451) (← links)
- Theories and ordinals in proof theory (Q2500821) (← links)
- Semantic values for natural deduction derivations (Q2500822) (← links)
- Zur Widerspruchsfreiheit der Zahlentheorie. (Q2585745) (← links)
- Die Widerspruchsfreiheit der allgemeinen Mengenlehre. (Q2603388) (← links)
- Die Widerspruchsfreiheit der allgemeinen Mengenlehre (Q2645585) (← links)
- Zur Widerspruchsfreiheit der Zahlentheorie (Q2646541) (← links)
- On understanding understanding (Q2713338) (← links)
- Strong termination for the epsilon substitution method (Q3128468) (← links)
- Hilbert's ‘<i>Verunglückter Beweis</i>’, the first epsilon theorem, and consistency proofs (Q3160441) (← links)
- Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation (Q3370623) (← links)
- Logic in the twenties: the nature of the quantifier (Q3879201) (← links)
- Annual Meeting of the Association for Symbolic Logic, Pittsburgh, 1991 (Q4008762) (← links)
- Problemi aperti sulle algebre diagonali (Q4121961) (← links)
- The work of Kurt Gödel (Q4140948) (← links)
- Ordinals connected with formal theories for transfinitely iterated inductive definitions (Q4175275) (← links)
- A Combinatorial Approach to Complexity Theory via Ordinal Hierarchies (Q4305315) (← links)
- Sequent calculus in natural deduction style (Q4328835) (← links)
- Extensions of the Finitist Point of View (Q4706119) (← links)
- The Mathematical Development of Set Theory from Cantor to Cohen (Q4879892) (← links)
- The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective (Q5387301) (← links)
- Subformula theorems for <i>N</i>-sequents (Q5556394) (← links)
- A survey of proof theory (Q5569099) (← links)
- On the restricted ordinal theorem (Q5834329) (← links)
- On the interpretation of intuitionistic number theory (Q5843995) (← links)