Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
From MaRDI portal
Publication:4753169
DOI10.1007/BF01708855zbMath0007.09703MaRDI QIDQ4753169
No author found.
Publication date: 1933
Published in: Monatshefte für Mathematik und Physik (Search for Journal in Brave)
Related Items (27)
Über den Begriff der \(\omega\)-Vollständigkeit ⋮ THE GENEALOGY OF ‘’ ⋮ Hierarchies of number-theoretic predicates ⋮ The Deduction Theorem (Before and After Herbrand) ⋮ On the Axiom of Canonicity ⋮ A generalization of the concept ofω-completeness ⋮ Predicate calculus of arbitrarily high finite order ⋮ Transfinite recursive progressions of axiomatic theories ⋮ The concept of truth in a finite universe ⋮ Four studies in metamathematics ⋮ The strength of Mac Lane set theory ⋮ Logic based on inclusion and abstraction ⋮ The consistency of the ramified Principia ⋮ On the theory of types ⋮ On Universals ⋮ On the Concept of Following Logically ⋮ Über ω-Unvollständigkeit in der Peano-Arithmetik ⋮ What is Tarski's Common Concept of Consequence? ⋮ REREADING TARSKI ON LOGICAL CONSEQUENCE ⋮ Arithmetical Predicates and Function Quantifiers ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Systems of transfinite types involving λ-conversion ⋮ A generalization of the concept of ω-consistency ⋮ The role of the Omitting Types Theorem in infinitary logic ⋮ Note on two theorems of Mostowski ⋮ “Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays ⋮ Lorenzen Between Gentzen and Schütte
Cites Work
This page was built for publication: Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit