Switch to: References

Add citations

You must login to add citations.
  1. Fusion over Sublanguages.Assaf Hasson & Martin Hils - 2006 - Journal of Symbolic Logic 71 (2):361 - 398.
    Generalising Hrushovski's fusion technique we construct the free fusion of two strongly minimal theories T₁, T₂ intersecting in a totally categorical sub-theory T₀. We show that if, e.g., T₀ is the theory of infinite vector spaces over a finite field then the fusion theory Tω exists, is complete and ω-stable of rank ω. We give a detailed geometrical analysis of Tω, proving that if both T₁, T₂ are 1-based then, Tω can be collapsed into a strongly minimal theory, if some (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Vaught Conjecture: Do Uncountable Models Count?John T. Baldwin - 2007 - Notre Dame Journal of Formal Logic 48 (1):79-92.
    We give a model theoretic proof, replacing admissible set theory by the Lopez-Escobar theorem, of Makkai's theorem: Every counterexample to Vaught's Conjecture has an uncountable model which realizes only countably many ℒ$_{ω₁,ω}$-types. The following result is new. Theorem: If a first-order theory is a counterexample to the Vaught Conjecture then it has 2\sp ℵ₁ models of cardinality ℵ₁.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   2 citations