Pages that link to "Item:Q634773"
From MaRDI portal
The following pages link to Definably complete structures are not pseudo-enumerable (Q634773):
Displaying 4 items.
- Definably complete structures are not pseudo-enumerable (Q634773) (← links)
- A FUNDAMENTAL DICHOTOMY FOR DEFINABLY COMPLETE EXPANSIONS OF ORDERED FIELDS (Q2795910) (← links)
- A Note on Hieronymi’s Theorem: Every Definably Complete Structure Is Definably Baire (Q3298258) (← links)
- An analogue of the Baire category theorem (Q4916554) (← links)