๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Rudimentary and arithmetical constructive set theory

โœ Scribed by Aczel, Peter

Book ID
121457040
Publisher
Elsevier Science
Year
2013
Tongue
English
Weight
277 KB
Volume
164
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Arithmetical Set Theory
Arithmetical Set Theory
โœ Paul Strauss ๐Ÿ“‚ Article ๐Ÿ“… 1991 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 405 KB
Constructive Set Theory
Constructive Set Theory
โœ John Myhill ๐Ÿ“‚ Article ๐Ÿ“… 1975 ๐Ÿ› Association for Symbolic Logic ๐ŸŒ English โš– 710 KB
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 constructive theory of point-set nearn
A constructive theory of point-set nearness
โœ L.S. Vฤฑ̂ลฃฤƒ; D.S. Bridges ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 264 KB

An axiomatic constructive development of the theory of nearness and apartness of a point and a set is introduced as a setting for topology.