Pages that link to "Item:Q4329520"
From MaRDI portal
The following pages link to Definability in Rationals with Real Order in the Background (Q4329520):
Displaying 5 items.
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers (Q1659540) (← links)
- On Σ‐definability without equality over the real numbers (Q3528148) (← links)
- Selection in the monadic theory of a countable ordinal (Q3617361) (← links)
- Definability and undefinability with real order at the background (Q4508271) (← links)