Term models for weak set theories with a universal set

Journal of Symbolic Logic 52 (2):374-387 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274387

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,945

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

T. E. Forster. Set theory with a universal set. Exploring an untyped universe. Oxford logic guides, no. 20. Clarendon Press, Oxford University Press, Oxford and New York1992, viii + 152 pp. [REVIEW]Randall Holmes - 1993 - Journal of Symbolic Logic 58 (2):725-728.
T. E. Forster. Set theory with a universal set. Exploring an untyped universe. Second edition of LVIII 725. Oxford logic guides, no. 31. Clarendon Press, Oxford University Press, Oxford and New York1995, x + 166 pp. [REVIEW]M. Randall Holmes - 1996 - Journal of Symbolic Logic 61 (4):1392-1393.
Book Review: T. E. Forster. Set theory with a universal set: Exploring an untyped universe. [REVIEW]Richard Kaye - 1993 - Notre Dame Journal of Formal Logic 34 (2):302-309.
Natural Models of Set Theories.R. Montague & R. L. Vaught - 1960 - Journal of Symbolic Logic 25 (2):177-177.
Delineating classes of computational complexity via second order theories with weak set existence principles. I.Aleksandar Ignjatović - 1995 - Journal of Symbolic Logic 60 (1):103-121.
Natural models and Ackermann-type set theories.John Lake - 1975 - Journal of Symbolic Logic 40 (2):151-158.
On Unsuperstable Theories in Gdst.Miguel Moreno - 2024 - Journal of Symbolic Logic 89 (4):1720-1746.
The status of the axiom of choice in set theory with a universal set.T. E. Forster - 1985 - Journal of Symbolic Logic 50 (3):701-707.

Analytics

Added to PP
2009-01-28

Downloads
44 (#552,066)

6 months
9 (#425,688)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Thomas Forster
Cambridge University

Citations of this work

Increasing sentences in Simple Type Theory.Panagiotis Rouvelas - 2017 - Annals of Pure and Applied Logic 168 (10):1902-1926.

Add more citations

References found in this work

A Decision Method for the Universal Theorems of Quine's New Foundations.V. Ja Krenovič & Urs Oswald - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (13):181-187.

Add more references