An elimination of infinitely small quantities and infinitely large numbers (within the framework of AST)
Nonstandard models of arithmetic as an alternative basis for continuum considerations
Translation of nonstandard definitions to standard ones
A contribution to topology in AST: Compactness
The consistency of the measurability of projective semisets
The nonabsolute boundedness model of the theory of semisets
A contribution to topology in AST: Almost indiscernibilities
A nonstandard treatment with quantities
A nonstandard set theory
On the adjunction of any semiset to the system of -classes in AST
An elimination of the predicate “to be a standard member” in nonstandard models of arithmetic
Some remarks to the axiom of prolongation
Multiplication of nonadditive cuts in AST
Three complete characteristics of couples of nonadditive cuts such that are given. The equality is proved for all couples of nonadditive cuts. Some examples of nonadditive cuts are described.
Endomorphic cuts and tails
Real and imaginary classes in the alternative set theory
Monads in basic equivalences
Basic equivalences in the alternative set theory
Models of AST without choice
Monads of indiscernibles
Minimal monads
Page 1 Next