On Tarski's Foundations of the Geometry of Solids
From MaRDI portal
Publication:2893282
DOI10.2178/bsl/1333560806zbMath1246.03024OpenAlexW2166576988MaRDI QIDQ2893282
Publication date: 20 June 2012
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.bsl/1333560806
History of mathematics in the 20th century (01A60) Foundations of classical theories (including reverse mathematics) (03B30) History of mathematical logic and foundations (03-03) Euclidean geometries (general) and generalizations (51M05) History of geometry (51-03)
Related Items
Cites Work
- Unnamed Item
- The classical model of science: a millennia-old model of scientific rationality
- Aristotle's prohibition rule on kind-crossing and the definition of mathematics as a science of quantities
- Unifying threads in Alfred Tarski's work
- Definitions and Nondefinability in GeometryThis paper was adapted from and expands on material in <strong>[23</strong>. A shorter version was presented to the October 2008 congress, <em>Giuseppe Peano and His School between Mathematics, Logic, and Interlingua</em>, in Turin. Some of the text in Section 2 was adapted from <strong>[46</strong>, Chap. 2].]
- Tarski and geometry
- Tarski on truth and logical consequence
- Full Development of Tarski's Geometry of Solids
- Alfred Tarski: Semantic shift, heuristic shift in metamathematics