A model of intuitionistic analysis in which \(\varnothing\)-definable discrete sets are subcountable (Q2813681)
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: A model of intuitionistic analysis in which \(\varnothing\)-definable discrete sets are subcountable |
scientific article; zbMATH DE number 6598148
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A model of intuitionistic analysis in which \(\varnothing\)-definable discrete sets are subcountable |
scientific article; zbMATH DE number 6598148 |
Statements
24 June 2016
0 references
0.8772246
0 references
0.8736069
0 references
0.8666321
0 references
0.8661223
0 references
0.8660242
0 references
0.8641695
0 references
0.8612145
0 references
A model of intuitionistic analysis in which \(\varnothing\)-definable discrete sets are subcountable (English)
0 references
