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

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19740200806

Links

PhilArchive



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

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

A Topology for the Space of Countable Models of a First Order Theory.J. T. Baldwin & J. M. Plotkin - 1974 - Mathematical Logic Quarterly 20 (8-12):173-178.
A complicated ω-stable depth 2 theory.Martin Koerwien - 2011 - Journal of Symbolic Logic 76 (1):47 - 65.
Order types of ordinals in models of set theory.John E. Hutchinson - 1976 - Journal of Symbolic Logic 41 (2):489-502.
End extensions and numbers of countable models.Saharon Shelah - 1978 - Journal of Symbolic Logic 43 (3):550-562.
Omega‐ and Beta‐Models of Alternative Set Theory.Athanassios Tzouvaras - 1994 - Mathematical Logic Quarterly 40 (4):547-569.
Theories with constants and three countable models.Predrag Tanović - 2007 - Archive for Mathematical Logic 46 (5-6):517-527.
Disasters in topology without the axiom of choice.Kyriakos Keremedis - 2001 - Archive for Mathematical Logic 40 (8):569-580.
Superstable theories with few countable models.Lee Fong Low & Anand Pillay - 1992 - Archive for Mathematical Logic 31 (6):457-465.
A decidable Ehrenfeucht theory with exactly two hyperarithmetic models.Robert C. Reed - 1991 - Annals of Pure and Applied Logic 53 (2):135-168.
Automatic models of first order theories.Pavel Semukhin & Frank Stephan - 2013 - Annals of Pure and Applied Logic 164 (9):837-854.
The Kripke schema in metric topology.Robert Lubarsky, Fred Richman & Peter Schuster - 2012 - Mathematical Logic Quarterly 58 (6):498-501.
Reverse mathematics and π21 comprehension.Carl Mummert & Stephen G. Simpson - 2005 - Bulletin of Symbolic Logic 11 (4):526-533.
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.
Types directed by constants.Predrag Tanović - 2010 - Annals of Pure and Applied Logic 161 (7):944-955.
Comparing Borel Reducibility and Depth of an ω-Stable Theory.Martin Koerwien - 2009 - Notre Dame Journal of Formal Logic 50 (4):365-380.

Analytics

Added to PP
2017-02-21

Downloads
5 (#1,554,658)

6 months
2 (#1,241,941)

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

On strongly minimal sets.J. T. Baldwin & A. H. Lachlan - 1971 - Journal of Symbolic Logic 36 (1):79-96.
General Topology.John L. Kelley - 1962 - Journal of Symbolic Logic 27 (2):235-235.
A note on a theorem of Vaught.Joseph G. Rosenstein - 1971 - Journal of Symbolic Logic 36 (3):439-440.

Add more references