What languages have Tarski truth definitions?
From MaRDI portal
Publication:598271
DOI10.1016/j.apal.2003.10.010zbMath1056.03016OpenAlexW1989037955MaRDI QIDQ598271
Publication date: 6 August 2004
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2003.10.010
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Basic properties of first-order languages and structures (03C07)
Related Items (2)
Andrzej Mostowski and the Notion of a Model ⋮ Some remarks on the bearing of model theory on the theory of theories
Cites Work
- Classification theory and the number of non-isomorphic models
- Formal features of compositionality
- Some combinatorics of imperfect information
- Compositional semantics for a language of imperfect information
- Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski
- Grundzüge des Systemenkalküls II
- Models of logical systems
- Models of axiomatic systems
- Elementary properties of Abelian groups
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: What languages have Tarski truth definitions?