An elimination of the predicate “to be a standard member” in nonstandard models of arithmetic
A contribution to topology in AST: Almost indiscernibilities
The consistency of the measurability of projective semisets
The nonabsolute boundedness model of the theory of semisets
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 nonstandard set theory
A nonstandard treatment with quantities
A contribution to topology in AST: Compactness
On the adjunction of any semiset to the system of -classes in AST
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.
Some remarks to the axiom of prolongation
Model-theoretical constructions in AST. I.
Endomorphic cuts and tails
Monads in basic equivalences
Models of AST without choice
Real and imaginary classes in the alternative set theory
Minimal monads
Basic equivalences in the alternative set theory
Page 1 Next