Logische Kategorien

DOI10.1007/BF01973622zbMath0226.02043OpenAlexW4243576963MaRDI QIDQ5632565

Petr Hájek

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/137844

Mathematics Subject Classification ID

Foundations, relations to logic and deductive systems (18A15)

Related Items

On conceptual completeness of syntactic-semantical systems

Cites Work

• Undecidable theories
• Arithmetization of metamathematics in a general setting
• Deduction-preserving "Recursive Isomorphisms" between theories
• Arithmetic Translations of Axiom Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item