FORMALIZATION, PRIMITIVE CONCEPTS, AND PURITY
From MaRDI portal
Publication:4918380
DOI10.1017/S1755020312000263zbMath1272.03006MaRDI QIDQ4918380
Publication date: 24 April 2013
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30)
Related Items (5)
Virtue theory of mathematical practices: an introduction ⋮ The Axiomatic Destiny of the Theorems of Pappus and Desargues ⋮ Bridging the gap between analytic and synthetic geometry: Hilbert's axiomatic approach ⋮ Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction ⋮ Completing Segre's proof of Wedderburn's little theorem
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Category-theoretic aspects of abstract elementary classes
- Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
- A reverse analysis of the Sylvester-Gallai theorem
- Number systems with simplicity hierarchies: a generalization of Conway's theory of surreal numbers
- ON THE RELATIONSHIP BETWEEN PLANE AND SOLID GEOMETRY
- 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].]
- Theory of models with generalized atomic formulas
- On quasiminimal excellent classes
- A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
- Alfred Tarski's work in model theory
- What is a Structure Theory?
- Whitehead's Problem is Undecidable
- Tarski's System of Geometry
- Zariski geometries
- Model Theory
- Busting a Myth about Leśniewski and Definitions
This page was built for publication: FORMALIZATION, PRIMITIVE CONCEPTS, AND PURITY
