The intuitionistic alternative set theory (Q1208081)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The intuitionistic alternative set theory |
scientific article; zbMATH DE number 165824
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The intuitionistic alternative set theory |
scientific article; zbMATH DE number 165824 |
Statements
The intuitionistic alternative set theory (English)
0 references
16 May 1993
0 references
Two intuitionistic adaptations of alternative set theory are described. A lot of techniques and assertions are overworked and investigated from the intuitionistic point of view. The principal ideas of AST are discussed from this point of view, too. I have not found any new substantial result or technique concerning AST in the paper. Not being an intuitionist, I am not able to estimate if the given adaptations are immediate or a lot of effort had to be devoted to them.
0 references
feasibility
0 references
constructibility
0 references
decidable class
0 references
prolongation
0 references
semiset
0 references
indiscernibility
0 references
intuitionistic adaptations of alternative set theory
0 references
0.91655254
0 references
0 references
0.9078607
0 references
0.9063659
0 references
0.9062174
0 references
