Natural Models of Set Theories

&
Journal of Symbolic Logic 25 (2):177-177 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964244

Links

PhilArchive



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

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

Review: R. Montague, R. L. Vaught, Natural Models of Set Theories. [REVIEW]Elliott Mendelson - 1960 - Journal of Symbolic Logic 25 (2):177-177.
Living with the abstract: realism and models.Stathis Psillos - 2011 - Synthese 180 (1):3-17.
Vaught’s conjecture for superstable theories of finite rank.Steven Buechler - 2008 - Annals of Pure and Applied Logic 155 (3):135-172.
Statistical Models of Natural Images and Cortical Visual Representation.Aapo Hyvärinen - 2010 - Topics in Cognitive Science 2 (2):251-264.
Programs, models, theories, and reality.Robert I. Damper - 2001 - Behavioral and Brain Sciences 24 (6):1055-1056.
Modeling in the museum: On the role of Remnant models in the work of Joseph Grinnell. [REVIEW]James R. Griesemer - 1990 - Biology and Philosophy 5 (1):3-36.
Theories of truth which have no standard models.Hannes Leitgeb - 2001 - Studia Logica 68 (1):69-87.
Amalgamation properties and finite models in L n -theories.John Baldwin & Olivier Lessmann - 2002 - Archive for Mathematical Logic 41 (2):155-167.
The equivalence of NF-Style set theories with "tangled" theories; the construction of ω-models of predicative NF (and more).M. Randall Holmes - 1995 - Journal of Symbolic Logic 60 (1):178-190.
ZF and the axiom of choice in some paraconsistent set theories.Thierry Libert - 2003 - Logic and Logical Philosophy 11:91-114.
On representing concepts in finite models.Marcin Mostowski - 2001 - Mathematical Logic Quarterly 47 (4):513-523.
Uncountable theories that are categorical in a higher power.Michael Chris Laskowski - 1988 - Journal of Symbolic Logic 53 (2):512-530.
1-based theories — the main gap for a -models.B. Hart, A. Pillay & S. Starchenko - 1995 - Archive for Mathematical Logic 34 (5):285-300.
An Old Friend Revisited: Countable Models of ω-Stable Theories.Michael C. Laskowski - 2007 - Notre Dame Journal of Formal Logic 48 (1):133-141.
Computable Models of Theories with Few Models.Bakhadyr Khoussainov, Andre Nies & Richard A. Shore - 1997 - Notre Dame Journal of Formal Logic 38 (2):165-178.

Analytics

Added to PP
2015-02-05

Downloads
21 (#718,251)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Tarski on “essentially richer” metalanguages.David DeVidi & Graham Solomon - 1999 - Journal of Philosophical Logic 28 (1):1-28.
Models as Universes.Brice Halimi - 2017 - Notre Dame Journal of Formal Logic 58 (1):47-78.
Undefinable sets.Rudolf V. B. Rucker - 1974 - Annals of Mathematical Logic 6 (3):395.

Add more citations

References found in this work

No references found.

Add more references