Smooth classes without AC and Robinson theories

Journal of Symbolic Logic 67 (4):1274-1294 (2002)
  Copy   BIBTEX

Abstract

We study smooth classes without the algebraic closure property. For such smooth classes we investigate the simplicity of the class of generic structures, in the context of Robinson theories

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1190150285

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

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 recursive enumerability with finite repetitions.Stephan Wehner - 1999 - Journal of Symbolic Logic 64 (3):927-945.
Algebraic Models of Sets and Classes in Categories of Ideals.Steve Awodey, Henrik Forssell & Michael A. Warren - unknown
Comparing the Smooth and Dedekind Reals in Smooth Infinitesimal Analysis.John L. Bell - unknown
A borel reducibility theory for classes of countable structures.Harvey Friedman & Lee Stanley - 1989 - Journal of Symbolic Logic 54 (3):894-914.
Sets and classes as many.John L. Bell - 2000 - Journal of Philosophical Logic 29 (6):585-601.
Predicative Algebraic Set Theory.Steve Awodey & Michael A. Warren - unknown
Freeness in classes without equality.Raimon Elgueta - 1999 - Journal of Symbolic Logic 64 (3):1159-1194.
Universalism and Classes.Nikk Effingham - 2011 - Dialectica 65 (3):451-472.
Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras.Tommaso Cortonesi, Enrico Marchioni & Franco Montagna - 2011 - Notre Dame Journal of Formal Logic 52 (4):339-379.
Tarski and Proper Classes.Philip Hugly & Charles Sayward - 1980 - Analysis 40 (4):6-11.

Analytics

Added to PP
2009-01-28

Downloads
41 (#366,538)

6 months
13 (#158,624)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Simple generic structures.Massoud Pourmahdian - 2003 - Annals of Pure and Applied Logic 121 (2-3):227-260.
Some Remarks on Generic Structures.David M. Evans & Mark Wing Ho Wong - 2009 - Journal of Symbolic Logic 74 (4):1143-1154.
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.
Stable generic structures.John T. Baldwin & Niandong Shi - 1996 - Annals of Pure and Applied Logic 79 (1):1-35.
On generic structures.D. W. Kueker & M. C. Laskowski - 1992 - Notre Dame Journal of Formal Logic 33 (2):175-183.

Add more references