Full operational set theory with unbounded existential quantification and power set

Annals of Pure and Applied Logic 160 (1):33-52 (2009)
  Copy   BIBTEX

Abstract

We study the extension of Feferman’s operational set theory provided by adding operational versions of unbounded existential quantification and power set and determine its proof-theoretic strength in terms of a suitable theory of sets and classes

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2009.01.010

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

Functional interpretations of constructive set theory in all finite types.Justus Diller - 2008 - Dialectica 62 (2):149–177.
Wittgenstein's Theory of Quantification.T. F. Baxley - 1980 - International Logic Review 21:46.
Polyadic Quantification via Denoting Concepts.Ori Simchen - 2010 - Notre Dame Journal of Formal Logic 51 (3):373-381.
Dwa typy abstrakcjonizmu w ontologii fikcji.Maciej Sendłak - forthcoming - Przegląd Filozoficzno-Literacki.
Two kinds of ontological commitment.Howard Peacock - 2011 - Philosophical Quarterly 61 (242):79-104.
Extending constructive operational set theory by impredicative principles.Andrea Cantini - 2011 - Mathematical Logic Quarterly 57 (3):299-322.
Kant on Existential Import.Alberto Vanzo - 2014 - Kantian Review 19 (2):207-232.
Non-traditional squares of predication and quantification.Mireille Staschok - 2008 - Logica Universalis 2 (1):77-85.
$\Sigma^1_1$ -Completeness of a Fragment of the Theory of Trees with Subtree Relation.P. Cintioli & S. Tulipani - 1994 - Notre Dame Journal of Formal Logic 35 (3):426-432.
Quantification Theory in *9 of Principia Mathematica.Gregory Landini - 2000 - History and Philosophy of Logic 21 (1):57-77.
Plural type quantification.Yoad Winter - manuscript
A Simple Embedding of T into Double S.Steven Kuhn - 2004 - Notre Dame Journal of Formal Logic 45 (1):13-18.

Analytics

Added to PP
2013-12-22

Downloads
20 (#771,402)

6 months
8 (#370,225)

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.
Full and hat inductive definitions are equivalent in NBG.Kentaro Sato - 2015 - Archive for Mathematical Logic 54 (1-2):75-112.
Operational closure and stability.Gerhard Jäger - 2013 - Annals of Pure and Applied Logic 164 (7-8):813-821.

View all 9 citations / Add more citations

References found in this work

View all 13 references / Add more references