Conservativity of transitive closure over weak constructive operational set theory

First Author: Cantini A
Attributed to:  Constructive set theory: Models, independence results and mathematics funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1515/9783110324921.91

Publication URI: http://dx.doi.org/10.1515/9783110324921.91

Type: Book Chapter

Book Title: Logic, Construction, Computation - (2012)

Page Reference: 91-122

ISBN: 978-3-86838-158-0