Switch to: References

Add citations

You must login to add citations.
  1. Axiomatizing Changing Conceptions of the Geometric Continuum II: Archimedes-Descartes-Hilbert-Tarski†.John T. Baldwin - 2019 - Philosophia Mathematica 27 (1):33-60.
    In Part I of this paper we argued that the first-order systems HP5 and EG are modest complete descriptive axiomatization of most of Euclidean geometry. In this paper we discuss two further modest complete descriptive axiomatizations: Tarksi’s for Cartesian geometry and new systems for adding $$\pi$$. In contrast we find Hilbert’s full second-order system immodest for geometrical purposes but appropriate as a foundation for mathematical analysis.
    Direct download (4 more)  
    Export citation  
    Bookmark   2 citations  
  • Characterization of NIP Theories by Ordered Graph-Indiscernibles.Lynn Scow - 2012 - Annals of Pure and Applied Logic 163 (11):1624-1641.
    We generalize the Unstable Formula Theorem characterization of stable theories from Shelah [11], that a theory T is stable just in case any infinite indiscernible sequence in a model of T is an indiscernible set. We use a generalized form of indiscernibles from [11], in our notation, a sequence of parameters from an L-structure M, , indexed by an L′-structure I is L′-generalized indiscernible inM if qftpL′=qftpL′ implies tpL=tpL for all same-length, finite ¯,j from I. Let Tg be the theory (...)
    Direct download (5 more)  
    Export citation  
    Bookmark   5 citations  
  • Completeness and Categoricity : Formalization Without Foundationalism.John T. Baldwin - 2014 - Bulletin of Symbolic Logic 20 (1):39-79.
  • Tree Indiscernibilities, Revisited.Byunghan Kim, Hyeung-Joon Kim & Lynn Scow - 2014 - Archive for Mathematical Logic 53 (1-2):211-232.
    No categories
    Direct download (3 more)  
    Export citation  
    Bookmark   3 citations