Predicate calculus and naive set theory in pure combinatory logic.
Predicative algebraic set theory.
Probability in the alternative set theory
Propriétés des classes d’éléments -standard
Provability in the alternative set theory
Real and imaginary classes in the alternative set theory
Relative sets and rough sets
In this paper, by defining a pair of classical sets as a relative set, an extension of the classical set algebra which is a counterpart of Belnap's four-valued logic is achieved. Every relative set partitions all objects into four distinct regions corresponding to four truth-values of Belnap's logic. Like truth-values of Belnap's logic, relative sets have two orderings; one is an order of inclusion and the other is an order of knowledge or information. By defining a rough set as a pair of definable...
Relatively constructible transitive models
Remark on a theory of classes used by A. Machado
Remarks In Da Costa's Paraconsistent Set Theories.
Revealed automorphisms
We study automorphisms in the alternative set theory. We prove that fully revealed automorphisms are not closed under composition. We also construct some special automorphisms. We generalize the notion of revealment and Sd-class.
Revealments
Set existence principles of Shoenfield, Ackermann, and Powell
Set theory over classes [Book]
Set-like equivalence and inner and outer cuts
Shiftings of the horizon
Shortening of the universal class in the alternative set theory [Abstract of thesis]
Simple motions
Some automorphisms of natural numbers in the alternative set theory
Some connections between measure, indiscernibility and representation of cuts