Model theoretic methods in the theory of isols

Annals of Mathematical Logic 14 (3):273-285 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(78)90021-9

Other Versions

No versions found

Links

PhilArchive



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

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

Erik Ellentuck. Infinite products of isols. Pacific journal of mathematics, vol. 14 , pp. 49–52.Kenneth Appel - 1966 - Journal of Symbolic Logic 31 (4):652-653.
On hyper‐torre isols.Joseph Barback - 2006 - Mathematical Logic Quarterly 52 (4):359-361.
Existentially Incomplete Tame Models and a Conjecture of Ellentuck.Thomas G. McLaughlin - 1999 - Mathematical Logic Quarterly 45 (2):189-202.
Review: Erik Ellentuck, A Minimal Model for Strong Analysis. [REVIEW]J. R. Shilleto - 1973 - Journal of Symbolic Logic 38 (3):524-524.
Diagonal Methods in the Theory of Isols.Erik Ellentuck - 1980 - Mathematical Logic Quarterly 26 (13):193-204.
Erik Ellentuck. A minimal model for strong analysis. Fundamenta mathematicae, vol. 73 no. 2 , pp. 125–131.J. R. Shilleto - 1973 - Journal of Symbolic Logic 38 (3):524.
Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory.Saharon Shelah - 1971 - Annals of Mathematical Logic 3 (3):271-362.
Model-theoretic forcing in logic with a generalized quantifier.Kim B. Bruce - 1978 - Annals of Mathematical Logic 13 (3):225.
Erik Ellentuck. Solution of a problem of R. Friedberg. Mathematische Zeitschrift, vol. 82 , pp. 101–103.Joseph Barback - 1972 - Journal of Symbolic Logic 37 (3):611-612.
Existentially Complete Nerode Semirings.Thomas G. McLaughlin - 1995 - Mathematical Logic Quarterly 41 (1):1-14.

Analytics

Added to PP
2014-01-17

Downloads
26 (#852,250)

6 months
11 (#345,260)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Models of Axiomatic Theories Admitting Automorphisms.A. Ehrenfeucht & A. Mostowski - 1966 - Journal of Symbolic Logic 31 (4):644-645.
Recursive Equivalence Types and Combinatorial Functions.John Myhill - 1966 - Journal of Symbolic Logic 31 (3):510-511.
Extensions to Isols.Anil Nerode - 1960 - Journal of Symbolic Logic 25 (4):359-361.
Arithmetically Isolated Sets and Nonstandard Models.A. Nerode - 1967 - Journal of Symbolic Logic 32 (2):269-269.

Add more references