Generic expansion and Skolemization in NSOP 1 theories

&
Annals of Pure and Applied Logic 169 (8):755-774 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2018.04.003

Links

PhilArchive



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

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 Skolemization in constructive theories.Matthias Baaz & Rosalie Iemhoff - 2008 - Journal of Symbolic Logic 73 (3):969-998.
Ab initio generic structures which are superstable but not ω-stable.Koichiro Ikeda - 2012 - Archive for Mathematical Logic 51 (1):203-211.
Automorphisms of Homogeneous Structures.A. Ivanov - 2005 - Notre Dame Journal of Formal Logic 46 (4):419-424.
The Skolemization of existential quantifiers in intuitionistic logic.Matthias Baaz & Rosalie Iemhoff - 2006 - Annals of Pure and Applied Logic 142 (1):269-295.
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.
Proof normalization modulo.Gilles Dowek & Benjamin Werner - 2003 - Journal of Symbolic Logic 68 (4):1289-1316.
The distribution of the generic recursively enumerable degrees.Ding Decheng - 1992 - Archive for Mathematical Logic 32 (2):113-135.
Group configurations and germs in simple theories.Itay Ben-Yaacov - 2002 - Journal of Symbolic Logic 67 (4):1581-1600.
Generic structures and simple theories.Z. Chatzidakis & A. Pillay - 1998 - Annals of Pure and Applied Logic 95 (1-3):71-92.
Falsity Conditions for IF-Sentences.Francien Dechesne - 2005 - Philosophia Scientiae 9 (2):305-322.
Weakly one-based geometric theories.Alexander Berenstein & Evgueni Vassiliev - 2012 - Journal of Symbolic Logic 77 (2):392-422.
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.
Generics and defaults.Francis Jeffry Pelletier & Nicholas Asher - 1996 - In Handbook of Logic and Language. Amsterdam [etc.]; Cambridge, MA:
Expansions which introduce no new open sets.Gareth Boxall & Philipp Hieronymi - 2012 - Journal of Symbolic Logic 77 (1):111 - 121.
Expansions which introduce no new open sets.Gareth Boxall & Philipp Hieromyni - 2012 - Journal of Symbolic Logic 77 (1):111-121.

Analytics

Added to PP
2018-05-31

Downloads
20 (#769,678)

6 months
8 (#365,731)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nicholas Ramsey
University of California, Los Angeles

Citations of this work

Independence over arbitrary sets in NSOP1 theories.Jan Dobrowolski, Byunghan Kim & Nicholas Ramsey - 2022 - Annals of Pure and Applied Logic 173 (2):103058.
Forking, imaginaries, and other features of.Christian D’elbée - 2021 - Journal of Symbolic Logic 86 (2):669-700.
Independence in generic incidence structures.Gabriel Conant & Alex Kruckman - 2019 - Journal of Symbolic Logic 84 (2):750-780.
Recursive functions and existentially closed structures.Emil Jeřábek - 2019 - Journal of Mathematical Logic 20 (1):2050002.
Generic expansion of an abelian variety by a subgroup.Christian D'Elbée - 2021 - Mathematical Logic Quarterly 67 (4):402-408.

View all 15 citations / Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Theories without the tree property of the second kind.Artem Chernikov - 2014 - Annals of Pure and Applied Logic 165 (2):695-723.
Generic structures and simple theories.Z. Chatzidakis & A. Pillay - 1998 - Annals of Pure and Applied Logic 95 (1-3):71-92.
On model-theoretic tree properties.Artem Chernikov & Nicholas Ramsey - 2016 - Journal of Mathematical Logic 16 (2):1650009.
A geometric introduction to forking and thorn-forking.Hans Adler - 2009 - Journal of Mathematical Logic 9 (1):1-20.

View all 10 references / Add more references