On Tarski's foundations of the geometry of solids
DOI10.2178/BSL/1333560806zbMATH Open1246.03024OpenAlexW2166576988MaRDI QIDQ2893282FDOQ2893282
Authors: Arianna Betti, Iris Loeb 
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
Recommendations
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Foundations of classical theories (including reverse mathematics) (03B30) History of geometry (51-03) Euclidean geometries (general) and generalizations (51M05)
Cites Work
- The classical model of science: a millennia-old model of scientific rationality
- Tarski and geometry
- Tarski on truth and logical consequence
- Aristotle's prohibition rule on kind-crossing and the definition of mathematics as a science of quantities
- The legacy of Mario Pieri in geometry and arithmetic
- Unifying threads in Alfred Tarski's work
- Alfred Tarski: Semantic shift, heuristic shift in metamathematics
- Full Development of Tarski's Geometry of Solids
- 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].
Cited In (8)
This page was built for publication: On Tarski's foundations of the geometry of solids
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2893282)
