Switch to: References

Add citations

You must login to add citations.
  1. Classification from a computable viewpoint.Wesley Calvert & Julia F. Knight - 2006 - Bulletin of Symbolic Logic 12 (2):191-218.
    Classification is an important goal in many branches of mathematics. The idea is to describe the members of some class of mathematical objects, up to isomorphism or other important equivalence, in terms of relatively simple invariants. Where this is impossible, it is useful to have concrete results saying so. In model theory and descriptive set theory, there is a large body of work showing that certain classes of mathematical structures admit classification while others do not. In the present paper, we (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • 2009 North American Annual Meeting of the Association for Symbolic Logic.Alasdair Urquhart - 2009 - Bulletin of Symbolic Logic 15 (4):441-464.
    Download  
     
    Export citation  
     
    Bookmark  
  • Finitely axiomatizable strongly minimal groups.Thomas Blossier & Elisabeth Bouscaren - 2010 - Journal of Symbolic Logic 75 (1):25-50.
    We show that if G is a strongly minimal finitely axiomatizable group, the division ring of quasi-endomorphisms of G must be an infinite finitely presented ring.
    Download  
     
    Export citation  
     
    Bookmark  
  • Some variants of Vaught's conjecture from the perspective of algebraic logic.G. Sagi & D. Sziraki - 2012 - Logic Journal of the IGPL 20 (6):1064-1082.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Relative Vaught's Conjecture for Some Meager Groups.Ludomir Newelski - 2007 - Notre Dame Journal of Formal Logic 48 (1):115-132.
    Assume G is a superstable locally modular group. We describe for any countable model M of Th(G) the quotient group G(M) / Gm(M). Here Gm is the modular part of G. Also, under some additional assumptions we describe G(M) / Gm(M) relative to G⁻(M). We prove Vaught's Conjecture for Th(G) relative to Gm and a finite set provided that ℳ(G) = 1 and the ring of pseudoendomorphisms of G is finite.
    Download  
     
    Export citation  
     
    Bookmark  
  • Categories of Topological Spaces and Scattered Theories.R. W. Knight - 2007 - Notre Dame Journal of Formal Logic 48 (1):53-77.
    We offer a topological treatment of scattered theories intended to help to explain the parallelism between, on the one hand, the theorems provable using Descriptive Set Theory by analysis of the space of countable models and, on the other, those provable by studying a tree of theories in a hierarchy of fragments of infinintary logic. We state some theorems which are, we hope, a step on the road to fully understanding counterexamples to Vaught's Conjecture. This framework is in the early (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Flat Morley sequences.Ludomir Newelski - 1999 - Journal of Symbolic Logic 64 (3):1261-1279.
    Assume T is a small superstable theory. We introduce the notion of a flat Morley sequence, which is a counterpart of the notion of an infinite Morley sequence in a type p, in case when p is a complete type over a finite set of parameters. We show that for any flat Morley sequence Q there is a model M of T which is τ-atomic over {Q}. When additionally T has few countable models and is 1-based, we prove that within (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Ample thoughts.Daniel Palacín & Frank O. Wagner - 2013 - Journal of Symbolic Logic 78 (2):489-510.
    Non-$n$-ampleness as defined by Pillay [20] and Evans [5] is preserved under analysability. Generalizing this to a more general notion of $\Sigma$-ampleness, this gives an immediate proof for all simple theories of a weakened version of the Canonical Base Property (CBP) proven by Chatzidakis [4] for types of finite SU-rank. This is then applied to the special case of groups.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • On Kueker's conjecture.Predrag Tanović - 2012 - Journal of Symbolic Logic 77 (4):1245-1256.
    We prove that a Kueker theory with infinite dcl(Ø) does not have the strict order property and that strongly minimal types are dense: any non-algebraic formula is contained in a strongly minimal type.
    Download  
     
    Export citation  
     
    Bookmark  
  • Separable models of randomizations.Uri Andrews & H. Jerome Keisler - 2015 - Journal of Symbolic Logic 80 (4):1149-1181.
    Download  
     
    Export citation  
     
    Bookmark   4 citations