Constructive set theory a' la Myhill–Aczel has been extended in previous papers by the authors 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. This paper is concerned with an extension of constructive operational set theory by a uniform operation of Transitive Closure. We show that the resulting theory is conservative over Peano Arithmetic.

Conservativity of transitive closure over weak constructive operational set theory / A.Cantini; L. Crosilla. - STAMPA. - (2012), pp. 91-121.

Conservativity of transitive closure over weak constructive operational set theory

CANTINI, ANDREA;L. Crosilla
2012

Abstract

Constructive set theory a' la Myhill–Aczel has been extended in previous papers by the authors 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. This paper is concerned with an extension of constructive operational set theory by a uniform operation of Transitive Closure. We show that the resulting theory is conservative over Peano Arithmetic.
2012
9783868381580
Logic, construction, computation
91
121
A.Cantini; L. Crosilla
File in questo prodotto:
File Dimensione Formato  
Cantini_Conservativity.pdf

Accesso chiuso

Descrizione: articolo principale
Tipologia: Pdf editoriale (Version of record)
Licenza: Tutti i diritti riservati
Dimensione 267.65 kB
Formato Adobe PDF
267.65 kB Adobe PDF   Richiedi una copia

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/647918
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact