Add to ORKGWe consider several partition relations and describe models of $ZF$ which can be used to distinguish between them. This is an extended abstract of a talk delivered in the RIMS Symposium on Axiomatic Set Theory and Set Theoretic Topology, held at RIMS University of Kyoto
This article presents a relational formalization of axiomatic set theory, including so-called ZFC an...
AbstractLet B be the closed term model of the λ-calculus in which terms with the same Böhm tree are ...
It is shown that, within L(R), the smallest inner model of set theory containing the reals, the axio...
In this dissertation we study closure properties of pointclasses, scales on sets of reals and the mo...
Summary. The article deals with the concepts of satisfiability of ZF set theory language formulae in...
grantor: University of TorontoThe subject matter of this exposition is the study of partit...
grantor: University of TorontoThe subject matter of this exposition is the study of partit...
We show that the theory ZFC, consisting of the usual axioms of ZFC but with the power set axiom remo...
A partition of a set A is a set of nonempty pairwise disjoint subsets of A whose union is A. An equi...
This paper contributes to the generalization of lattice-valued models of set theory to non-classical...
summary:The paper contains a self-contained alternative proof of my Theorem in Characterization of g...
This article presents a relational formalization of axiomatic set theory, including so-called ZFC an...
A theory of truth is introduced for a model $M$ ZF set theory. Its inner and outer logics are class...
A theory of truth is introduced for a model $M$ ZF set theory. Its inner and outer logics are class...
A theory of truth is introduced for a model $M$ ZF set theory. Its inner and outer logics are class...
This article presents a relational formalization of axiomatic set theory, including so-called ZFC an...
AbstractLet B be the closed term model of the λ-calculus in which terms with the same Böhm tree are ...
It is shown that, within L(R), the smallest inner model of set theory containing the reals, the axio...
In this dissertation we study closure properties of pointclasses, scales on sets of reals and the mo...
Summary. The article deals with the concepts of satisfiability of ZF set theory language formulae in...
grantor: University of TorontoThe subject matter of this exposition is the study of partit...
grantor: University of TorontoThe subject matter of this exposition is the study of partit...
We show that the theory ZFC, consisting of the usual axioms of ZFC but with the power set axiom remo...
A partition of a set A is a set of nonempty pairwise disjoint subsets of A whose union is A. An equi...
This paper contributes to the generalization of lattice-valued models of set theory to non-classical...
summary:The paper contains a self-contained alternative proof of my Theorem in Characterization of g...
This article presents a relational formalization of axiomatic set theory, including so-called ZFC an...
A theory of truth is introduced for a model $M$ ZF set theory. Its inner and outer logics are class...
A theory of truth is introduced for a model $M$ ZF set theory. Its inner and outer logics are class...
A theory of truth is introduced for a model $M$ ZF set theory. Its inner and outer logics are class...
This article presents a relational formalization of axiomatic set theory, including so-called ZFC an...
AbstractLet B be the closed term model of the λ-calculus in which terms with the same Böhm tree are ...
It is shown that, within L(R), the smallest inner model of set theory containing the reals, the axio...