1 — Consistency and faithful interpretations

DOI10.1007/BF02025806zbMath0122.24502MaRDI QIDQ5734415

Solomon Feferman, Georg Kreisel, Steven Orey

Publication date: 1962

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137763

zbMATH Keywords

mathematical logic

Related Items

A survey of proof theory, An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency, European Summer Meeting of the Association for Symbolic Logic, Neo-Logicism and Its Logic

Cites Work

• Some applications of formalized consistency proofs
• Arithmetization of metamathematics in a general setting
• A generalization of the incompleteness theorem
• Transfinite recursive progressions of axiomatic theories
• Representability op recursively enumerable sets in formal theories
• Relative Interpretations
• Note on arithmetic models for consistent formulae of the predicate calculus
• On axiomatizability within a system
• Unnamed Item