Truth in all of certain well‐founded countable models arising in set theory

Mathematical Logic Quarterly 21 (1):97-106 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19750210113

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,854

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

Truth in All of Certain Well-Founded Countable Models Arising in Set Theory II.John W. Rosenthal - 1979 - Mathematical Logic Quarterly 25 (25-29):403-405.
The classification of countable models of set theory.John Clemens, Samuel Coskey & Samuel Dworetzky - 2020 - Mathematical Logic Quarterly 66 (2):182-189.
Every countable model of set theory embeds into its own constructible universe.Joel David Hamkins - 2013 - Journal of Mathematical Logic 13 (2):1350006.
Indivisible sets and well‐founded orientations of the Rado graph.Nathanael L. Ackerman & Will Brian - 2019 - Mathematical Logic Quarterly 65 (1):46-56.
Hierarchies For Non-founded Models Of Set Theory. Von Michael & M. Von Rimscha - 1983 - Mathematical Logic Quarterly 29 (4):253-288.
Linearly Stratified Models for the Foundations of Nonstandard Mathematics.Mauro Di Nasso - 1998 - Mathematical Logic Quarterly 44 (1):138-142.
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.
On witnessed models in fuzzy logic III - witnessed Gödel logics.Petr Häjek - 2010 - Mathematical Logic Quarterly 56 (2):171-174.
Condensable models of set theory.Ali Enayat - 2022 - Archive for Mathematical Logic 61 (3):299-315.

Analytics

Added to PP
2013-11-24

Downloads
27 (#834,437)

6 months
2 (#1,694,052)

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

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Set theory and the continuum hypothesis.Paul J. Cohen - 1966 - New York,: W. A. Benjamin.
The Consistency of the Continuum Hypothesis.Kurt Gödel - 1940 - Princeton University Press.
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.

View all 10 references / Add more references