On Tarski's foundations of the geometry of solids

DOI10.2178/BSL/1333560806MaRDI QIDQ2893282zbMATH OpenOpenAlexFDO

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, https://research.vu.nl/en/publications/2794356b-f7fd-411c-9d67-12cbea3756bc

Mathematics Subject Classification ID

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)

Recommendations

• Full Development of Tarski's Geometry of Solids
• Leśniewski's systems of logic and foundations of mathematics
• Philosophical implications of Tarski's work
• Tarski and geometry
• scientific article; zbMATH DE number 7161714

Cites work

• Alfred Tarski: Semantic shift, heuristic shift in metamathematics
• Aristotle's prohibition rule on kind-crossing and the definition of mathematics as a science of quantities
• 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,
• Full Development of Tarski's Geometry of Solids
• Tarski and geometry
• Tarski on truth and logical consequence
• The classical model of science: a millennia-old model of scientific rationality
• The legacy of Mario Pieri in geometry and arithmetic
• Unifying threads in Alfred Tarski's work

Cited in

(10)

• A monadic second-order version of Tarski's geometry of solids
• FULL MEREOGEOMETRIES
• The notion of the diameter of mereological ball in Tarski's geometry of solids
• A Note on Tarski's Note
• Tarski and geometry
• Full Development of Tarski's Geometry of Solids
• Spheres, cubes and simplexes in mereogeometry
• scientific article; zbMATH DE number 7161714 (Why is no real title available?)
• Submodels in Carnap's early axiomatics revisited
• A constructive version of Tarski's geometry

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)