Definability in models of set theory

Journal of Symbolic Logic 45 (1):9-19 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273350

Links

PhilArchive



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

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

Definability and a nonlinear sigma model.David Jacob BenDaniel - unknown
Abstract Beth Definability in Institutions.Marius Petria & Răzvan Diaconescu - 2006 - Journal of Symbolic Logic 71 (3):1002 - 1028.
A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.
On external Scott algebras in nonstandard models of peano arithmetic.Vladimir Kanovei - 1996 - Journal of Symbolic Logic 61 (2):586-607.
A note on definability in equational logic.George Weaver - 1994 - History and Philosophy of Logic 15 (2):189-199.
Extending standard models of ZFC to models of nonstandard set theories.Vladimir Kanovei & Michael Reeken - 2000 - Studia Logica 64 (1):37-59.
Definability of types, and pairs of o-minimal structures.Anand Pillay - 1994 - Journal of Symbolic Logic 59 (4):1400-1409.
The implicit definition of the set-concept.F. A. Muller - 2004 - Synthese 138 (3):417 - 451.
Definability in physics.David Jacob BenDaniel - unknown

Analytics

Added to PP
2009-01-28

Downloads
30 (#531,625)

6 months
5 (#632,816)

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

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
Gaps in the contructable universe.W. Marek & M. Srebrny - 1974 - Annals of Mathematical Logic 6 (3-4):359-394.

Add more references