Conservativity of Transitive Closure over weak operational set theory

In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation. De Gruyter (2012)

Laura Crosilla
University of Oslo
Constructive set theory a' la Myhill-Aczel has been extended in (Cantini and Crosilla 2008, Cantini and Crosilla 2010) to incorporate a notion of (partial, non--extensional) operation. Constructive operational set theory is a constructive and predicative analogue of Beeson's Inuitionistic set theory with rules and of Feferman's Operational set theory (Beeson 1988, Feferman 2006, Jaeger 2007, Jaeger 2009, Jaeger 1009b). This paper is concerned with an extension of constructive operational set theory (Cantini and Crosilla 2010) by a uniform operation of Transitive Closure, \tau. Given a set a, \tau produces its transitive closure \tau a. We show that the theory ESTE of (Cantini and Crosilla 2010) augmented by \tau is still conservative over Peano Arithmetic.
Keywords Operational set theory, Transitive Closure, Proof theory
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,914
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Operational Closure and Stability.Gerhard Jäger - 2013 - Annals of Pure and Applied Logic 164 (7-8):813-821.
The Dimension of the Negation of Transitive Closure.Gregory L. McColm - 1995 - Journal of Symbolic Logic 60 (2):392-414.
Antifoundation and Transitive Closure in the System of Zermelo.Olivier Esser & Roland Hinnion - 1999 - Notre Dame Journal of Formal Logic 40 (2):197-205.
On Modal Μ-Calculus and Non-Well-Founded Set Theory.Luca Alberucci & Vincenzo Salipante - 2004 - Journal of Philosophical Logic 33 (4):343-360.
The Middle Ground-Ancestral Logic.Liron Cohen & Arnon Avron - 2019 - Synthese 196 (7):2671-2693.
A Double Arity Hierarchy Theorem for Transitive Closure Logic.Martin Grohe & Lauri Hella - 1996 - Archive for Mathematical Logic 35 (3):157-171.


Added to PP index

Total views
2 ( #1,265,237 of 2,266,272 )

Recent downloads (6 months)
2 ( #596,389 of 2,266,272 )

How can I increase my downloads?


My notes

Sign in to use this feature