Pages that link to "Item:Q306841"
From MaRDI portal
The following pages link to Algebraicity and implicit definability in set theory (Q306841):
Displaying 13 items.
- Implicit definability in arithmetic (Q306821) (← links)
- Implicit definability of subfields (Q558423) (← links)
- New algebraic invariants for definable subsets in universal algebra (Q695766) (← links)
- An application of infinitary universal algebra to set theory (Q1337156) (← links)
- Recognizable sets and Woodin cardinals: computation beyond the constructible universe (Q1694811) (← links)
- Ehrenfeucht's lemma in set theory (Q1782238) (← links)
- Typicality à la Russell in set theory (Q2153829) (← links)
- Algebraic theories with definable Skolem functions (Q3727972) (← links)
- (Q4680361) (← links)
- On the ‘definability of definable’ problem of Alfred Tarski, Part II (Q5045614) (← links)
- THE IMPLICITLY CONSTRUCTIBLE UNIVERSE (Q5207559) (← links)
- THE EXACT STRENGTH OF THE CLASS FORCING THEOREM (Q5855740) (← links)
- On Russell typicality in set theory (Q5880254) (← links)