Skip to main content
SpringerLink
Log in

A finite approximation to models of set theory

  • Published:
Studia Logica Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Bibliography

  • [FUA]P. Bernays,Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre, in:Essays on the foundation of mathematics, (Fraenkel-Festschrift), ed. Y. Bar-Hillel a.o. Amsterdam, 1962, pp. 3–49.

  • [SAS]P. Bernays,A system of axiomatic set theory, (Part I),The Journal of Symbolic Logic, Vol. 2 (1937), pp. 65–77.

    Google Scholar 

  • [FS]A. Fraenkel andY. Bar-Hillel,Foundations of set theory, Amsterdam, 1958, 1973. (The axioms are taken from the edition 1958, pp. 274–275).

  • [CCH]K. Gödel,The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory, Princeton, 1940.

  • [GLM]D. Hilbert andP. Bernays,Grundlagen der Mathermatik, vol. II, Berlin 1939 (1970).

  • [IVI]J. Hintikka,Identity, variables and impredicative definitions,The Journal of Symbolic Logic, Vol. 21 (1956), pp. 225–245.

    Google Scholar 

  • [VCP]J. Hintikka,Vicious circle principle and the paradoxes,The Journal of Symbolic Logic, Vol. 22 (1957), pp. 245–249.

    Google Scholar 

  • [NMS]R. Montague andL. Vaught,Natural models of set theories,Fundamenta Mathematicae, 47 (1959), pp. 219–242.

    Google Scholar 

  • [MAE]D. Scott,More on the axiom on extensionality, in:Essays on the foundations of mathematics, Amsterdam, 1962, pp. 115-131.

  • [LCN]J. Słupecki,Leśniewski's calculus of names,Studia Logica, vol. 3 (1955), pp. 7–71.

    Google Scholar 

  • [TGM]J. Słupecki,Towards a generalized mereology of Leśniewski,Studia Logica, 8 (1958), pp. 131–154.

    Google Scholar 

  • [MIE]W. Szmielew andA. Tarski,Mutual interpretability of some essentially undecidable theories, in:Proceedings of the International Congress of Mathematicians, Cambridge-Mass., 1950, Vol. I, p. 734.

  • [US]G. Takeuti,The universe of set theory, in:Foundations of mathematics, Symposium Papers Commemorating the 60th Birthday of Kurt Gödel (ed. Bulloff-Holyoke-Hanh), Berlin, 1969, pp. 74–128.

  • [LCS]H. Wang,Logic, computers and sets, New York, 1970. (The pages are not altered in this reprint of the carlier editionA survey of mathematical logic, Amsterdam, 1963).

  • [FEP]P. Weingartner,Die Fraglichkeit der Extensionalitätsthese und die Probleme einer intensionalen Logik, in:Jenseits von Sein und Nichtsein, Beiträge zur Meinong-Forschung, ed. R. Haller, Graz, 1972, pp. 127–178.

  • [PCI]P. Weingartner,A predicate calculus for intensional logic,Journal of Philosophical Logic 2 (1973), pp. 220–303.

    Article  Google Scholar 

  • [IIS]P. Weingartner,On the introduction of intensions into set theory, in:Proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences (Polish Academy of Sciences, Warsaw), ed. M. Przelęcki-K. Szaniawski-R. Wójcicki, Reidel-Dordrecht, 1975.

    Google Scholar 

  • [RIH]P. Weingartner,Remarks on intensions in the history of logic,Journal of Philosophical Logic, to appear.

Download references

Author information

Authors and Affiliations

  1. Institut fuer Wissenschaftstheorie Internationales Forschungszentrum, University of Salzburg, Salzburg, Austria

    Paul Weingartner

Authors
  1. Paul Weingartner
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

The author is indebted to professors P. Bernays, G. Kreisel, D. Scott, S. Mac-Lane, K. Lambert and to Dr. H. Czermak for several valuable suggestions and improvements concerning earlier versions of this paper.

Allatum est die 29 Julii 1974

Rights and permissions

Reprints and permissions

About this article

Cite this article

Weingartner, P. A finite approximation to models of set theory. Stud Logica 34, 45–58 (1975). https://doi.org/10.1007/BF02314423

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02314423

Keywords

Search

Navigation