Pages that link to "Item:Q4508271"
From MaRDI portal
The following pages link to Definability and undefinability with real order at the background (Q4508271):
Displaying 6 items.
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- Limited Set quantifiers over Countable Linear Orderings (Q3449472) (← links)
- On Σ‐definability without equality over the real numbers (Q3528148) (← links)
- Definability in Rationals with Real Order in the Background (Q4329520) (← links)
- Undefinability of <i>κ</i>-well-orderings in <i>L</i><sub>∞<i>κ</i></sub> (Q4372918) (← links)
- AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS (Q4692085) (← links)