A Topology for the Space of Countable Models of a First Order Theory

&
Mathematical Logic Quarterly 20 (8-12):173-178 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19740200806

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,347

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

Order types of ordinals in models of set theory.John E. Hutchinson - 1976 - Journal of Symbolic Logic 41 (2):489-502.
A complicated ω-stable depth 2 theory.Martin Koerwien - 2011 - Journal of Symbolic Logic 76 (1):47 - 65.
Theories with constants and three countable models.Predrag Tanović - 2007 - Archive for Mathematical Logic 46 (5-6):517-527.
End extensions and numbers of countable models.Saharon Shelah - 1978 - Journal of Symbolic Logic 43 (3):550-562.
On constants and the strict order property.Predrag Tanović - 2006 - Archive for Mathematical Logic 45 (4):423-430.
Superstable theories with few countable models.Lee Fong Low & Anand Pillay - 1992 - Archive for Mathematical Logic 31 (6):457-465.
Disasters in topology without the axiom of choice.Kyriakos Keremedis - 2001 - Archive for Mathematical Logic 40 (8):569-580.
Reverse mathematics and π21 comprehension.Carl Mummert & Stephen G. Simpson - 2005 - Bulletin of Symbolic Logic 11 (4):526-533.
Menger and Nöbeling on Pointless Topology.Mathieu Bélanger & Jean-Pierre Marquis - 2013 - Logic and Logical Philosophy 22 (2):145-165.
Reconstructing an Open Order from Its Closure, with Applications to Space-Time Physics and to Logic.Francisco Zapata & Vladik Kreinovich - 2012 - Studia Logica 100 (1-2):419-435.
The metamathematics of model theory: Discovering language in action.Douglas E. Miller - 1981 - Journal of Symbolic Logic 46 (3):490-498.
Notions of compactness for special subsets of ℝ I and some weak forms of the axiom of choice.Marianne Morillon - 2010 - Journal of Symbolic Logic 75 (1):255-268.
Skolem's Paradox.Timothy Bays - 2012 - In Peter Adamson (ed.), Stanford Encyclopedia of Philosophy. Stanford Encyclopedia of Philosophy.
Comparing Borel Reducibility and Depth of an ω-Stable Theory.Martin Koerwien - 2009 - Notre Dame Journal of Formal Logic 50 (4):365-380.
Model theory without choice? Categoricity.Saharon Shelan - 2009 - Journal of Symbolic Logic 74 (2):361-401.

Analytics

Added to PP
2014-01-16

Downloads
30 (#536,463)

6 months
3 (#984,214)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.
Saturated model theory.Gerald E. Sacks - 1972 - Reading, Mass.,: W. A. Benjamin.
General Topology.John L. Kelley - 1962 - Journal of Symbolic Logic 27 (2):235-235.
Mathematical Logic.Donald Monk - 1975 - Journal of Symbolic Logic 40 (2):234-236.

Add more references