Remark on complete interpretations by models
From MaRDI portal
Publication:5825666
DOI10.1007/BF01969421zbMath0055.00601OpenAlexW2073798098MaRDI QIDQ5825666
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
Cites Work
- Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik
- Die Eliminierbarkeit des bestimmten Artikels in Kodifikaten der Analysis
- A formulation of the simple theory of types
- The completeness of the first-order functional calculus
- Completeness in the theory of types
- Note on arithmetic models for consistent formulae of the predicate calculus
- On the concepts of completeness and interpretation of formal systems
This page was built for publication: Remark on complete interpretations by models