Elementary Extensions of Models of the Alternative Set Theory (Q3699685)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Elementary Extensions of Models of the Alternative Set Theory |
scientific article |
Statements
Elementary Extensions of Models of the Alternative Set Theory (English)
0 references
1985
0 references
prolongation axiom
0 references
scheme of choice
0 references
end extension
0 references
models of AST
0 references
countable models
0 references
external sets
0 references
omitting types
0 references