Metamathematische Begriffe in Standardtheorien

DOI10.1007/BF01967648zbMath0221.02037OpenAlexW2032845012MaRDI QIDQ5625147

Giorgio Germano

Publication date: 1970

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

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

Mathematics Subject Classification ID

Other classical first-order model theory (03C68)

Related Items (1)

Possible-worlds semantics for modal notions conceived as predicates

Cites Work

• Unnamed Item
• A paradox regained
• Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• On undecidable statements in enlarged systems of logic and the concept of truth
• A system which can define its own truth

This page was built for publication: Metamathematische Begriffe in Standardtheorien