Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
From MaRDI portal
Publication:2649136
DOI10.1007/BF01342849zbMATH Open0042.00803MaRDI QIDQ2649136FDOQ2649136
Authors: Kurt Schütte 
Publication date: 1951
Published in: Mathematische Annalen (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/160227
Cited In (21)
- Consistency proof without transfinite induction for a formal system for turing machines
- Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension
- Invertible infinitary calculus without loop rules for restricted FTL
- Notation systems for infinitary derivations
- Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent
- \(\supset\)E is admissible in ``true relevant arithmetic
- Lorenzen Between Gentzen and Schütte
- Theoretical computer science: computability, decidability and logic
- Semantic values for natural deduction derivations
- Ordinal analysis by transformations
- Well-Ordering Principles in Proof Theory and Reverse Mathematics
- “Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays
- Zur Widerspruchsfreiheit einer typenfreien Logik
- Pa-Beweisbare ∀∃-Formeln
- On the computational complexity of cut-reduction
- Proof-theoretical analysis: Weak systems of functions and classes
- Ein System des Verknüpfenden Schliessens
- Completeness of the primitive recursive \(\omega \)-rule
- Continuous normalization for the lambda-calculus and Gödel's T
- An infinitary system for the least fixed-point logic restricted to finite models
- Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas
This page was built for publication: Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2649136)
