Borel quasi-orderings in subsystems of second-order arithmetic (Q1182484)
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: Borel quasi-orderings in subsystems of second-order arithmetic |
scientific article; zbMATH DE number 31351
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Borel quasi-orderings in subsystems of second-order arithmetic |
scientific article; zbMATH DE number 31351 |
Statements
Borel quasi-orderings in subsystems of second-order arithmetic (English)
0 references
28 June 1992
0 references
subsystems of second-order arithmetic
0 references
Borel quasi-orderings of the reals
0 references
ATR\(_ 0\)
0 references
reflection principles
0 references
Gandy forcing
0 references
0.9003855
0 references
0.8953254
0 references
0.8897642
0 references
0.8836186
0 references
0.8822502
0 references
