A contribution to topology in AST: Almost indiscernibilities
A contribution to topology in AST: Compactness
A Hamiltonian property of connected sets in the alternative set theory.
A method for constructing some endomorphic universes
A nonstandard set theory
A nonstandard treatment with quantities
A notion of measure for classes in AST
A sequential approach to a construction of measures
A theorem on supports in the theory of semisets
Addition of initial segments. I.
Addition of initial segments. II.
Algebraic models of intuitionistic theories of sets and classes.
Alternative set theory with elementary classes
In this paper we sketch the development and give a model of the formal version of a generalization of the Alternative Set Theory.
An elimination of infinitely small quantities and infinitely large numbers (within the framework of AST)
An elimination of the predicate “to be a standard member” in nonstandard models of arithmetic
Analyse relative
Approximations of -classes and -classes
Archimedean and geodetical biequivalences
Arithmetic of cuts and cuts of classes
Axiomatizability of second order arithmetic with ω-rule