Some remarks on revealness
Simple motions
A notion of measure for classes in AST
Minimal ultrafilters and maximal endomorphic universes
Definability degrees for classes in the alternative set theory
Correction to the paper “A notion of measure for classes in AST”
Ultrafilters and endomorphic universes
Countable inductive definitions in AST
Endomorphic cuts and tails
Page 1