DOIAbstract
Abstract. If ZFC is consistent, then the collection of countable computably saturated models of ZFC satisfies all of the Multiverse Axioms of [Hama]. 1
Abstract. If ZFC is consistent, then the collection of countable computably saturated models of ZFC satisfies all of the Multiverse Axioms of [Hama]. 1
International audienceThe axioms ZFC of first order set theory are one of the best and most widely a...
AbstractFrege’sGrundgesetzewas one of the 19th century forerunners to contemporary set theory which ...
It is well known that Zermelo-Fraenkel Set Theory (ZF), despite its usefulness as a foundational the...
In this article we present a technique for selecting models of set theory that are complete in a mod...
We show that the theory ZFC, consisting of the usual axioms of ZFC but with the power set axiom remo...
A theory of truth is introduced for a countable model of ZF set theory. It is free from infinite reg...
International audienceIn [4, 5, 6], we have introduced the technique of classical realizability, whi...
In this paper, I argue that a naturalist approach in philosophy of mathematics justifies a pluralist...
A MULTIVERSE AXIOM INDUCTION FRAMEWORK The multiverse paradigm in set theory does not only reflect p...
Gödel’s universe L of constructible sets has many attractive features. It has a definable wellorder...
A new axiom is proposed, the Ground Axiom, asserting that the universe is not a nontrivial set-forci...
Summary. The article deals with the concepts of satisfiability of ZF set theory language formulae in...
Set theory has made tremendous progress in the last 75 years, but much of it has been outside the bo...
An axiomatic nonstandard set theory *ZFC is presented where all axioms of ZFC without foundation are...
The purpose of this paper is to elucidate, by means of concepts and theorems drawn from mathematical...
International audienceThe axioms ZFC of first order set theory are one of the best and most widely a...
AbstractFrege’sGrundgesetzewas one of the 19th century forerunners to contemporary set theory which ...
It is well known that Zermelo-Fraenkel Set Theory (ZF), despite its usefulness as a foundational the...
In this article we present a technique for selecting models of set theory that are complete in a mod...
We show that the theory ZFC, consisting of the usual axioms of ZFC but with the power set axiom remo...
A theory of truth is introduced for a countable model of ZF set theory. It is free from infinite reg...
International audienceIn [4, 5, 6], we have introduced the technique of classical realizability, whi...
In this paper, I argue that a naturalist approach in philosophy of mathematics justifies a pluralist...
A MULTIVERSE AXIOM INDUCTION FRAMEWORK The multiverse paradigm in set theory does not only reflect p...
Gödel’s universe L of constructible sets has many attractive features. It has a definable wellorder...
A new axiom is proposed, the Ground Axiom, asserting that the universe is not a nontrivial set-forci...
Summary. The article deals with the concepts of satisfiability of ZF set theory language formulae in...
Set theory has made tremendous progress in the last 75 years, but much of it has been outside the bo...
An axiomatic nonstandard set theory *ZFC is presented where all axioms of ZFC without foundation are...
The purpose of this paper is to elucidate, by means of concepts and theorems drawn from mathematical...
International audienceThe axioms ZFC of first order set theory are one of the best and most widely a...
AbstractFrege’sGrundgesetzewas one of the 19th century forerunners to contemporary set theory which ...
It is well known that Zermelo-Fraenkel Set Theory (ZF), despite its usefulness as a foundational the...
Add to ORKG