The following pages link to (Q5585396):
Displaying 5 items.
- Unifying logic, topology and learning in parametric logic (Q817837) (← links)
- Applications of Fodor's lemma to Vaught's conjecture (Q1114671) (← links)
- BOREL FUNCTORS AND INFINITARY INTERPRETATIONS (Q4647104) (← links)
- Global definability theory in 𝐿_{𝜔₁𝜔} (Q4767313) (← links)
- From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory (Q5214779) (← links)