Explicit mathematics and operational set theory: Some ontological comparisons

Bulletin of Symbolic Logic 20 (3):275-292, (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Explicit mathematics and operational set theory: Some ontological comparisons.Gerhard Jäger & Rico Zumbrunnen - 2017 - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
Power types in explicit mathematics?Gerhard Jäger - 1997 - Journal of Symbolic Logic 62 (4):1142-1146.
Uniform inseparability in explicit mathematics.Andrea Cantini & Pierluigi Minari - 1999 - Journal of Symbolic Logic 64 (1):313-326.
Upper Bounds for metapredicative mahlo in explicit mathematics and admissible set theory.Gerhard Jäger & Thomas Strahm - 2001 - Journal of Symbolic Logic 66 (2):935-958.
Operational set theory and small large cardinals.Solomon Feferman with with R. L. Vaught - manuscript
Realisability in weak systems of explicit mathematics.Daria Spescha & Thomas Strahm - 2011 - Mathematical Logic Quarterly 57 (6):551-565.
Explicit mathematics with the monotone fixed point principle. II: Models.Michael Rathjen - 1999 - Journal of Symbolic Logic 64 (2):517-550.
Explicit mathematics with the monotone fixed point principle.Michael Rathjen - 1998 - Journal of Symbolic Logic 63 (2):509-542.
Operational Independence and Operational Separability in Algebraic Quantum Mechanics.Miklós Rédei - 2010 - Foundations of Physics 40 (9-10):1439-1449.
Two kinds of ontological commitment.Howard Peacock - 2011 - Philosophical Quarterly 61 (242):79-104.
Universes in explicit mathematics.Gerhard Jäger, Reinhard Kahle & Thomas Studer - 2001 - Annals of Pure and Applied Logic 109 (3):141-162.
Systems of explicit mathematics with non-constructive μ-operator. Part I.Solomon Feferman & Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 65 (3):243-263.
Systems of explicit mathematics with non-constructive μ-operator. Part II.Solomon Feferman & Gerhard Jäger - 1996 - Annals of Pure and Applied Logic 79 (1):37-52.
Redukcje ontologiczne w matematyce. Część I.Krzysztof Wójtowicz - 2008 - Filozofia Nauki 3.

Analytics

Added to PP
2014-12-16

Downloads
8 (#1,310,468)

6 months
3 (#967,057)

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

No references found.

Add more references