Pages that link to "Item:Q5251361"
From MaRDI portal
The following pages link to COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS I: COMPUTABLE CATEGORICITY (Q5251361):
Displaying 7 items.
- Linear orders with distinguished function symbol (Q1005923) (← links)
- Countably categorical theories (Q1928482) (← links)
- Computable categoricity for pseudo-exponential fields of \(\aleph_1\) (Q2349103) (← links)
- UNIFORM PROCEDURES IN UNCOUNTABLE STRUCTURES (Q4579805) (← links)
- Finding bases of uncountable free abelian groups is usually difficult (Q4608785) (← links)
- COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS II: DEGREE SPECTRA (Q5251362) (← links)
- An undecidable linear order that is \(n\)-decidable for all \(n\) (Q5937834) (← links)