𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Quotient topologies in constructive set theory and type theory

✍ Scribed by Hajime Ishihara; Erik Palmgren

Publisher
Elsevier Science
Year
2006
Tongue
English
Weight
196 KB
Volume
141
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The natural numbers in constructive set
The natural numbers in constructive set theory
✍ Michael Rathjen πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 191 KB πŸ‘ 1 views

## Abstract Constructive set theory started with Myhill's seminal 1975 article [8]. This paper will be concerned with axiomatizations of the natural numbers in constructive set theory discerned in [3], clarifying the deductive relationships between these axiomatizations and the strength of various

A note on Bar Induction in Constructive
A note on Bar Induction in Constructive Set Theory
✍ Michael Rathjen πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 113 KB πŸ‘ 1 views

## Abstract Bar Induction occupies a central place in Brouwerian mathematics. This note is concerned with the strength of Bar Induction on the basis of Constructive Zermelo‐Fraenkel Set Theory, CZF. It is shown that CZF augmented by decidable Bar Induction proves the 1‐consistency of CZF. This answ

Extending constructive operational set t
Extending constructive operational set theory by impredicative principles
✍ Andrea Cantini πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 200 KB

We study constructive set theories, which deal with (partial) operations applying both to sets and operations themselves. Our starting point is a fully explicit, finitely axiomatized system ESTE of constructive sets and operations, which was shown in [10] to be as strong as PA. In this paper we cons