The following pages link to The effective Borel hierarchy (Q5310190):
Displaying 14 items.
- Index sets and Scott sentences (Q403398) (← links)
- Scott ranks of models of a theory (Q1644961) (← links)
- The first-order syntax of variadic functions (Q1934953) (← links)
- Using computability to measure complexity of algebraic structures and classes of structures (Q2263109) (← links)
- Scott sentences for equivalence structures (Q2309506) (← links)
- An example related to Gregory's theorem (Q2377350) (← links)
- 2011 North American Annual Meeting of the Association for Symbolic Logic, University of California at Berkeley, Berkeley, CA, USA, March 24--27, 2011 (Q2893284) (← links)
- Describing groups (Q2964051) (← links)
- Analytic equivalence relations and bi-embeddability (Q3083138) (← links)
- Classes of Ulm type and coding rank-homogeneous trees in other structures (Q3173529) (← links)
- CALIBRATING DETERMINACY STRENGTH IN LEVELS OF THE BOREL HIERARCHY (Q4977218) (← links)
- SCOTT COMPLEXITY OF COUNTABLE STRUCTURES (Q5021936) (← links)
- Complexity of Scott sentences (Q5146417) (← links)
- Classes of algebraic structures (Q6147851) (← links)
