Pages that link to "Item:Q2649136"
From MaRDI portal
The following pages link to Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie (Q2649136):
Displaying 20 items.
- On the computational complexity of cut-reduction (Q636310) (← links)
- Completeness of the primitive recursive \(\omega \)-rule (Q781515) (← links)
- Proof-theoretical analysis: Weak systems of functions and classes (Q911585) (← links)
- Ordinal analysis by transformations (Q1006618) (← links)
- \(\supset\)E is admissible in ``true'' relevant arithmetic (Q1272826) (← links)
- Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas (Q1589838) (← links)
- Continuous normalization for the lambda-calculus and Gödel's T (Q1772771) (← links)
- Notation systems for infinitary derivations (Q2277451) (← links)
- Semantic values for natural deduction derivations (Q2500822) (← links)
- Invertible infinitary calculus without loop rules for restricted FTL (Q2577594) (← links)
- Zur Widerspruchsfreiheit einer typenfreien Logik (Q2650840) (← links)
- An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models (Q2866740) (← links)
- Ein System des Verknüpfenden Schliessens (Q3233196) (← links)
- Pa-Beweisbare ∀∃-Formeln (Q3338236) (← links)
- Consistency proof without transfinite induction for a formal system for turing machines (Q4192056) (← links)
- “Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays (Q5013891) (← links)
- Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension (Q5013904) (← links)
- Lorenzen Between Gentzen and Schütte (Q5024725) (← links)
- Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
- Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent (Q5079741) (← links)
