97 search results - page 1 / 20 » Semi-Contraction: Axioms and Construction |
NDJFL
1998
13 years 6 months ago
1998
RML
2006
13 years 6 months ago
2006
We construct a model of set theory without the foundation axiom in which there exists a transitive set whose intersection is not transitive.
TYPES
2000
Springer
13 years 10 months ago
2000
Springer
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...
AML
2010
13 years 7 months ago
2010
In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical model theory such as constructibl...
TYPES
2000
Springer
13 years 10 months ago
2000
Springer
Abstract. The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we addr...