Iterated definability, lawless sequences, and Brouwer's continuum (Q5221591)
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: Iterated definability, lawless sequences, and Brouwer's continuum |
scientific article; zbMATH DE number 7184889
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Iterated definability, lawless sequences, and Brouwer's continuum |
scientific article; zbMATH DE number 7184889 |
Statements
Iterated Definability, Lawless Sequences, and Brouwer’s Continuum (English)
0 references
2 April 2020
0 references
lawless sequence
0 references
lawlike sequence
0 references
intuitionistic mathematics
0 references
choice sequence
0 references
0.8267507553100586
0 references
0.7670682668685913
0 references
0.7670682668685913
0 references
0.7387110590934753
0 references
