Pages that link to "Item:Q1949167"
From MaRDI portal
The following pages link to Degrees of categoricity and the hyperarithmetic hierarchy (Q1949167):
Displaying 38 items.
- Degrees that are not degrees of categoricity (Q306834) (← links)
- Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism (Q384395) (← links)
- Categoricity spectra for polymodal algebras (Q514501) (← links)
- On categoricity spectra for locally finite graphs (Q820480) (← links)
- Finite computable dimension and degrees of categoricity (Q1616772) (← links)
- Degrees of autostability relative to strong constructivizations of graphs (Q1617974) (← links)
- Degrees of autostability for prime Boolean algebras (Q1620777) (← links)
- Scott ranks of models of a theory (Q1644961) (← links)
- Computable bi-embeddable categoricity (Q1731326) (← links)
- Computability-theoretic categoricity and Scott families (Q1740457) (← links)
- Effective algebraicity (Q1935364) (← links)
- Degrees of categoricity of rigid structures (Q2011647) (← links)
- Punctual categoricity relative to a computable oracle (Q2030137) (← links)
- Categoricity spectra of computable structures (Q2036466) (← links)
- The degree of decidable categoricity of a model with infinite solutions for complete formulas (Q2055308) (← links)
- On bi-embeddable categoricity of algebraic structures (Q2067511) (← links)
- On decidable categoricity and almost prime models (Q2203434) (← links)
- Strong degrees of categoricity and weak density (Q2211365) (← links)
- Turing degrees of complete formulas of almost prime models (Q2300743) (← links)
- Analytic computable structure theory and \(L^p\)-spaces. II (Q2309503) (← links)
- Degrees of bi-embeddable categoricity of equivalence structures (Q2312081) (← links)
- Computability-theoretic properties of injection structures (Q2342300) (← links)
- On \(\Delta_2^0\)-categoricity of equivalence relations (Q2346952) (← links)
- Autostability spectra for Boolean algebras (Q2356086) (← links)
- Degrees of autostability relative to strong constructivizations for Boolean algebras (Q2364293) (← links)
- Degrees of categoricity vs. strong degrees of categoricity (Q2364297) (← links)
- Degrees of autostability for linear orders and linearly ordered abelian groups (Q2364330) (← links)
- Effective categoricity for distributive lattices and Heyting algebras (Q2404797) (← links)
- Degrees of categoricity for superatomic Boolean algebras (Q2434601) (← links)
- Revisiting Uniform Computable Categoricity: For the Sixtieth Birthday of Prof. Rod Downey (Q2970964) (← links)
- Strength and Weakness in Computable Structure Theory (Q2970966) (← links)
- A Note on Effective Categoricity for Linear Orderings (Q2988812) (← links)
- Prime Model with No Degree of Autostability Relative to Strong Constructivizations (Q3195686) (← links)
- DEGREES OF CATEGORICITY AND SPECTRAL DIMENSION (Q4638977) (← links)
- Degrees of categoricity of trees and the isomorphism problem (Q5108865) (← links)
- Degrees of and lowness for isometric isomorphism (Q5145850) (← links)
- DEGREES OF CATEGORICITY ON A CONE VIA<i>η</i>-SYSTEMS (Q5738206) (← links)
- 2-Computably Enumerable Degrees of Categoricity for Boolean Algebras with Distinguished Automorphisms (Q5741344) (← links)