Remark on complete interpretations by models

DOI10.1007/BF01969421MaRDI QIDQ5825666zbMATH OpenOpenAlexFDO

Authors Georg Kreisel

Publication date 1954

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

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

zbMATH Keywords

philosophy and foundations of mathematics

Cites work

• A formulation of the simple theory of types
• Completeness in the theory of types
• Die Eliminierbarkeit des bestimmten Artikels in Kodifikaten der Analysis
• Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik
• Note on arithmetic models for consistent formulae of the predicate calculus
• On the concepts of completeness and interpretation of formal systems
• The completeness of the first-order functional calculus

This page was built for publication: Remark on complete interpretations by models

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