Logische Kategorien

DOI10.1007/BF01973622MaRDI QIDQ5632565zbMATH OpenOpenAlexFDO

Authors 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)

Cites work

• Arithmetic Translations of Axiom Systems
• Arithmetization of metamathematics in a general setting
• Deduction-preserving "Recursive Isomorphisms" between theories
• scientific article; zbMATH DE number 3115894 (Why is no real title available?)
• scientific article; zbMATH DE number 3220362 (Why is no real title available?)
• scientific article; zbMATH DE number 3266604 (Why is no real title available?)
• scientific article; zbMATH DE number 3368623 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Undecidable theories

Cited in

(1)

• On conceptual completeness of syntactic-semantical systems

This page was built for publication: Logische Kategorien

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5632565)