Diphantine Correct non-Standard Models in the Isols

Journal of Symbolic Logic 33 (4):619-619 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271400

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

Review: Anil Nerode, Diphantine Correct non-Standard Models in the Isols. [REVIEW]Carl Bredlau - 1968 - Journal of Symbolic Logic 33 (4):619-619.
Torre models in the isols.Joseph Barback - 1994 - Journal of Symbolic Logic 59 (1):140-150.
An algebraic difference between isols and cosimple isols.Erik Ellentuck - 1972 - Journal of Symbolic Logic 37 (3):557-561.
A Fine Structure in the Theory of Isols.Joseph Barback - 1998 - Mathematical Logic Quarterly 44 (2):229-264.
On Regressive Isols and Comparability of Summands and a Theorem of R. Downey.Joseph Barback - 1997 - Mathematical Logic Quarterly 43 (1):83-91.
Extensions to Isols.Anil Nerode - 1960 - Journal of Symbolic Logic 25 (4):359-361.
On hyper‐torre isols.Joseph Barback - 2006 - Mathematical Logic Quarterly 52 (4):359-361.
Review: Anil Nerode, Extensions to Isols. [REVIEW]J. C. E. Dekker - 1960 - Journal of Symbolic Logic 25 (4):359-361.
Extending standard models of ZFC to models of nonstandard set theories.Vladimir Kanovei & Michael Reeken - 2000 - Studia Logica 64 (1):37-59.
Combinatorial Isols and the Arithmetic of Dekker Semirings.Thomas G. McLaughlin - 2002 - Mathematical Logic Quarterly 48 (3):323-342.
Isols and the pigeonhole principle.J. C. E. Dekker & E. Ellentuck - 1989 - Journal of Symbolic Logic 54 (3):833-846.
Ultraproducts of SCI.Stephen Bloom & Roman Suszko - 1975 - Bulletin of the Section of Logic 4 (1):9-14.
Existentially Complete Nerode Semirings.Thomas G. McLaughlin - 1995 - Mathematical Logic Quarterly 41 (1):1-14.
Adequacy Results for Some Priorean Modal Propositional Logics.Fabrice Correia - 1999 - Notre Dame Journal of Formal Logic 40 (2):236-249.
Theories of arithmetics in finite models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.

Analytics

Added to PP
2015-02-05

Downloads
1 (#1,902,993)

6 months
1 (#1,475,085)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Sub-arithmetical ultrapowers: a survey.Thomas G. McLaughlin - 1990 - Annals of Pure and Applied Logic 49 (2):143-191.
Eight problems about nerode semirings.T. G. McLaughlin - 1992 - Annals of Pure and Applied Logic 56 (1-3):137-146.
Myhill's work in recursion theory.J. C. E. Dekker & E. Ellentuck - 1992 - Annals of Pure and Applied Logic 56 (1-3):43-71.
On co-simple isols and their intersection types.Rod Downey & Theodore A. Slaman - 1992 - Annals of Pure and Applied Logic 56 (1-3):221-237.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references