On saturation for a predicate

Notre Dame Journal of Formal Logic 22 (3):239-248 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093883458

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

Transfering saturation, the finite cover property, and stability.John T. Baldwin, Rami Grossberg & Saharon Shelah - 1999 - Journal of Symbolic Logic 64 (2):678-684.
Expansions, omitting types, and standard systems.Fredrik Engström - 2004 - Dissertation, Chalmers
Pseudo-finite homogeneity and saturation.Jörg Flum & Martin Ziegler - 1999 - Journal of Symbolic Logic 64 (4):1689-1699.
Barker and Achinstein on Goodman.Gary Sollazzo - 1972 - Philosophical Studies 23 (1-2):91 - 97.
Nonstandard characterizations of recursive saturation and resplendency.Stuart T. Smith - 1987 - Journal of Symbolic Logic 52 (3):842-863.
Saturated models of peano arithmetic.J. F. Pabion - 1982 - Journal of Symbolic Logic 47 (3):625-637.
Accessible categories, saturation and categoricity.Jiří Rosický - 1997 - Journal of Symbolic Logic 62 (3):891-901.
Classification theory over a predicate. I.Anand Pillay & Saharon Shelah - 1985 - Notre Dame Journal of Formal Logic 26 (4):361-376.
Not every "tabular" predicate logic is finitely axiomatizable.Dmitrij Skvortsov - 1997 - Studia Logica 59 (3):387-396.
Was Existence Ever a Predicate?Edgar Morscher - 1985 - Grazer Philosophische Studien 25 (1):269-284.
On maximal intermediate predicate constructive logics.Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani & Pierangelo Miglioli - 1996 - Studia Logica 57 (2-3):373 - 408.
Logic: an introduction.Greg Restall - 2006 - New York: Routledge.
The strength of nonstandard methods in arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.

Analytics

Added to PP
2010-08-24

Downloads
15 (#889,556)

6 months
8 (#283,518)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Toward classifying unstable theories.Saharon Shelah - 1996 - Annals of Pure and Applied Logic 80 (3):229-255.
Simple unstable theories.Saharon Shelah - 1980 - Annals of Mathematical Logic 19 (3):177.

Add more citations

References found in this work

No references found.

Add more references