On Feferman’s operational set theory OST

Annals of Pure and Applied Logic 150 (1-3):19-39 (2007)
  Copy   BIBTEX

Abstract

We study and some of its most important extensions primarily from a proof-theoretic perspective, determine their consistency strengths by exhibiting equivalent systems in the realm of traditional set theory and introduce a new and interesting extension of which is conservative over

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2007.09.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

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

Full operational set theory with unbounded existential quantification and power set.Gerhard Jäger - 2009 - Annals of Pure and Applied Logic 160 (1):33-52.
Operational set theory and small large cardinals.Solomon Feferman with with R. L. Vaught - manuscript
Explicit mathematics and operational set theory: Some ontological comparisons.Gerhard Jäger & Rico Zumbrunnen - 2014 - Bulletin of Symbolic Logic 20 (3):275-292.
Operational Independence and Operational Separability in Algebraic Quantum Mechanics.Miklós Rédei - 2010 - Foundations of Physics 40 (9-10):1439-1449.
Explicit mathematics and operational set theory: Some ontological comparisons.Gerhard Jäger & Rico Zumbrunnen - 2017 - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
Relativizing operational set theory.Gerhard Jäger - 2016 - Bulletin of Symbolic Logic 22 (3):332-352.
Relating Quine's NF to Feferman's EM.Andrea Cantini - 1999 - Studia Logica 62 (2):141-162.
Explicit mathematics and operational set theory: Some ontological comparisons.Gerhard Jäger And Rico Zumbrunnen - 2014 - Bulletin of Symbolic Logic 20 (3):275-292,.
Parsons and I: Sympathies and Differences.Solomon Feferman - 2016 - Journal of Philosophy 113 (5/6):234-246.
Entropy in operational statistics and quantum logic.Carl A. Hein - 1979 - Foundations of Physics 9 (9-10):751-786.
Operational closure and stability.Gerhard Jäger - 2013 - Annals of Pure and Applied Logic 164 (7-8):813-821.
Monotone inductive definitions in a constructive theory of functions and classes.Shuzo Takahashi - 1989 - Annals of Pure and Applied Logic 42 (3):255-297.
Logic and Methodology, Center Stage.Anita Burdman Feferman & Solomon Feferman - 2010 - Philosophia Scientiae 14:159-168.
Logic and Methodology, Center Stage.Anita Burdman Feferman & Solomon Feferman - 2010 - Philosophia Scientiae 14 (1):159-168.
Alfred Tarski. Life and Logic.Anita Burdman Feferman Y. Salomón Feferman - 2006 - Critica 38 (112):105-111.

Analytics

Added to PP
2013-12-30

Downloads
26 (#613,702)

6 months
10 (#275,239)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Classes and truths in set theory.Kentaro Fujimoto - 2012 - Annals of Pure and Applied Logic 163 (11):1484-1523.

View all 12 citations / Add more citations

References found in this work

Proof theory.Gaisi Takeuti - 1976 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Proof theory.K. Schütte - 1977 - New York: Springer Verlag.
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.

View all 18 references / Add more references