Definability in models of set theory
Journal of Symbolic Logic 45 (1):9-19 (1980)
Abstract
This article has no associated abstract. (fix it)DOI
10.2307/2273350
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
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.
Analytics
Added to PP
2009-01-28
Downloads
20 (#565,624)
6 months
1 (#450,425)
2009-01-28
Downloads
20 (#565,624)
6 months
1 (#450,425)
Historical graph of downloads
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.
