Some Remarks on Generic Structures

&
Journal of Symbolic Logic 74 (4):1143-1154 (2009)
  Copy   BIBTEX

Abstract

We show that the N₀-categorical structures produced by Hrushovski's predimension construction with a control function fit neatly into Shelah's $SOP_n $ hierarchy: if they are not simple, then they have SOP₃ and NSOP₄. We also show that structures produced without using a control function can be undecidable and have SOP.

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1254748684

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,497

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On generic structures with a strong amalgamation property.Koichiro Ikeda, Hirotaka Kikyo & Akito Tsuboi - 2009 - Journal of Symbolic Logic 74 (3):721-733.
ℵ0-categorical tree-decomposable structures.A. H. Lachlan - 1992 - Journal of Symbolic Logic 57 (2):501 - 514.
Generic Complexity of Undecidable Problems.Alexei G. Myasnikov & Alexander N. Rybalov - 2008 - Journal of Symbolic Logic 73 (2):656 - 673.
DOP and FCP in generic structures.John T. Baldwin & Saharon Shelah - 1998 - Journal of Symbolic Logic 63 (2):427-438.
Some independence results for control structures in complete numberings.Sanjay Jain & Jochen Nessel - 2001 - Journal of Symbolic Logic 66 (1):357-382.
Generic expansions of ω-categorical structures and semantics of generalized quantifiers.A. A. Ivanov - 1999 - Journal of Symbolic Logic 64 (2):775-789.
A rational reconstruction of the domain of feature structures.M. Andrew Moshier - 1995 - Journal of Logic, Language and Information 4 (2):111-143.
On Notions of Genericity and Mutual Genericity.J. K. Truss - 2007 - Journal of Symbolic Logic 72 (3):755 - 766.
On finite rigid structures.Yuri Gurevich & Saharon Shelah - 1996 - Journal of Symbolic Logic 61 (2):549-562.
On the decidability of the real field with a generic power function.Gareth Jones & Tamara Servi - 2011 - Journal of Symbolic Logic 76 (4):1418-1428.
Every 1-Generic Computes a Properly 1-Generic.Barbara F. Csima, Rod Downey, Noam Greenberg, Denis R. Hirschfeldt & Joseph S. Miller - 2006 - Journal of Symbolic Logic 71 (4):1385 - 1393.
The modal nature of structures in ontic structural realism.Michael Esfeld - 2009 - International Studies in the Philosophy of Science 23 (2):179 – 194.
A theory of hierarchical consequence and conditionals.Dov M. Gabbay & Karl Schlechta - 2010 - Journal of Logic, Language and Information 19 (1):3-32.
Structured propositions and sentence structure.Jeffrey King - 1996 - Journal of Philosophical Logic 25 (5):495 - 521.
Structuralism and Isomorphism.Charles McCarty - 2013 - Philosophia Mathematica (1):nkt024.

Analytics

Added to PP
2013-09-30

Downloads
33 (#488,740)

6 months
8 (#373,162)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Pseudofiniteness in Hrushovski Constructions.Ali N. Valizadeh & Massoud Pourmahdian - 2020 - Notre Dame Journal of Formal Logic 61 (1):1-10.

Add more citations

References found in this work

A new strongly minimal set.Ehud Hrushovski - 1993 - Annals of Pure and Applied Logic 62 (2):147-166.
[Introduction].Wilfrid Hodges - 1988 - Journal of Symbolic Logic 53 (1):1.
[Introduction].Wilfrid Hodges - 1986 - Journal of Symbolic Logic 51 (4):865.
Toward classifying unstable theories.Saharon Shelah - 1996 - Annals of Pure and Applied Logic 80 (3):229-255.
On generic structures.D. W. Kueker & M. C. Laskowski - 1992 - Notre Dame Journal of Formal Logic 33 (2):175-183.

View all 9 references / Add more references