Pages that link to "Item:Q1756497"
From MaRDI portal
The following pages link to Hanf number for Scott sentences of computable structures (Q1756497):
Displaying 8 items.
- A note on the Hanf number of second-order logic (Q1102273) (← links)
- The Hanf number of stationary logic (Q1820151) (← links)
- Scott sentences for equivalence structures (Q2309506) (← links)
- Computable Scott sentences for quasi-Hopfian finitely presented structures (Q2700812) (← links)
- SCOTT COMPLEXITY OF COUNTABLE STRUCTURES (Q5021936) (← links)
- THE COMPLEXITY OF SCOTT SENTENCES OF SCATTERED LINEAR ORDERS (Q5855748) (← links)
- The Hanf number in the strictly stable case (Q6096320) (← links)
- Hanf Number for Scott Sentences of Computable Structures (Q6270063) (← links)