A quasi-intumonistic set theory

Journal of Symbolic Logic 36 (3):456-460 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269954

Other Versions

No versions found

Links

PhilArchive



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

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

Leslie H. Tharp. On a set theory of Bernays. The journal of symbolic logic, vol. 32 , pp. 319–321.J. R. Shoenfield - 1971 - Journal of Symbolic Logic 36 (4):682.
Tharp, mit i matematyka [recenzja] Leslie H. Tharp, Mit i matematyka.Ewa Wojtowicz - 1994 - Zagadnienia Filozoficzne W Nauce 16.
Leslie Tharp 1940-1981.Dorothy Grover, David Malament & Brian Skyrms - 1982 - Proceedings and Addresses of the American Philosophical Association 56 (1):100 -.
A. H. Kruse. A method of modelling the formalism of set theory in axiomatic set theory. The journal of symbolic logic, vol. 28 no. 1 , pp. 20–34. [REVIEW]Azriel Lévy - 1966 - Journal of Symbolic Logic 31 (1):132-133.
Jack H. Silver. Some applications of model theory in set theory. Annals of mathematical logic, vol. 3 no. 1 , pp. 45–110. [REVIEW]Agnieszka Wojciechowska - 1974 - Journal of Symbolic Logic 39 (3):597-598.
Reviews. Robert R. Stoll. Set theory and logic. W. H. Freeman and Company, San Francisco and London 1963, xiv + 474 pp. [REVIEW]G. T. Kneebone - 1964 - Journal of Symbolic Logic 29 (1):40-41.
Remarks on the Theory of Quasi-sets.Steven French & Décio Krause - 2010 - Studia Logica 95 (1-2):101 - 124.
On a quasi-set theory.Décio Krause - 1992 - Notre Dame Journal of Formal Logic 33 (3):402--11.
An Outline of Set Theory.James M. Henle - 1987 - Journal of Symbolic Logic 52 (4):1048-1049.
THARP and conceptual logic.Hao Wang - 1989 - Synthese 81 (2):141 - 152.

Analytics

Added to PP
2009-01-28

Downloads
67 (#315,498)

6 months
20 (#147,057)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

From the weak to the strong existence property.Michael Rathjen - 2012 - Annals of Pure and Applied Logic 163 (10):1400-1418.
On the Strength of some Semi-Constructive Theories.Solomon Feferman - 2012 - In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation. De Gruyter. pp. 201-226.
Constructive Ackermann's interpretation.Hanul Jeon - 2022 - Annals of Pure and Applied Logic 173 (5):103086.

Add more citations

References found in this work

Semi-intuitionistic set theory.Lawrence J. Pozsgay - 1972 - Notre Dame Journal of Formal Logic 13 (4):546-550.

Add more references