The following pages link to (Q5331477):
Displaying 4 items.
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- Back-and-forth systems for fuzzy first-order models (Q1795203) (← links)
- An Ehrenfeucht-Fraïssé game for \(\mathcal L_{\omega_1\omega}\) (Q2856638) (← links)
- From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory (Q5214779) (← links)