Pages that link to "Item:Q4329520"

The following pages link to Definability in Rationals with Real Order in the Background (Q4329520):

Displaying 2 items.

• Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
• Selection in the monadic theory of a countable ordinal (Q3617361) (← links)