Pages that link to "Item:Q3767329"
From MaRDI portal
The following pages link to Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees (Q3767329):
Displayed 50 items.
- Abelian \(p\)-groups and the halting problem (Q306578) (← links)
- Measuring complexities of classes of structures (Q499081) (← links)
- Incomparable prime ideals of recursively enumerable degrees (Q688789) (← links)
- The jump operation for structure degrees (Q818923) (← links)
- On categoricity spectra for locally finite graphs (Q820480) (← links)
- Pairs of recursive structures (Q923075) (← links)
- Labelling systems and r.e. structures (Q923076) (← links)
- Constructions by transfinitely many workers (Q923078) (← links)
- Strong \(\Delta ^ 0_ 2\) categoricity (Q1078172) (← links)
- Stability of recursive structures in arithmetical degrees (Q1094410) (← links)
- Intrinsically \(\Sigma ^ 0_{\alpha}\) relations (Q1106203) (← links)
- Generic copies of countable structures (Q1123889) (← links)
- Uncountable degree spectra (Q1182483) (← links)
- Sufficiency conditions for theories with recursive models (Q1184717) (← links)
- Stability among r.e. quotient algebras (Q1208085) (← links)
- Turing degrees of certain isomorphic images of computable relations (Q1295383) (← links)
- Coding a family of sets (Q1295408) (← links)
- Hyperarithmetical relations in expansions of recursive structures (Q1315834) (← links)
- Effective choice for relations and reducibilities in classes of constructive and positive models (Q1317601) (← links)
- Primitive Jordan algebras (Q1317606) (← links)
- Finitely generated groups with the M. Hall property (Q1317609) (← links)
- Locally finite simple groups as a product of two inert subgroups (Q1317617) (← links)
- Local characterizations of infinite alternating and Lie type groups (Q1317618) (← links)
- A semiorthogonal sum of monocomposition algebras with unity (Q1317619) (← links)
- Superdecomposable pure injective modules over commutative valuation rings (Q1317634) (← links)
- Inseparability in recursive copies (Q1326768) (← links)
- Ramified systems (Q1344627) (← links)
- Possible degrees in recursive copies. II (Q1368584) (← links)
- Degree spectra and computable dimensions in algebraic structures (Q1612482) (← links)
- Scott ranks of models of a theory (Q1644961) (← links)
- The diversity of categoricity without delay (Q1688181) (← links)
- Computability-theoretic categoricity and Scott families (Q1740457) (← links)
- Computability of distributive lattices (Q1745078) (← links)
- Categoricity in hyperarithmetical degrees (Q1821772) (← links)
- Turing computable embeddings, computable infinitary equivalence, and linear orders (Q2011646) (← links)
- Punctual categoricity relative to a computable oracle (Q2030137) (← links)
- Categoricity spectra of computable structures (Q2036466) (← links)
- Degree spectra of structures (Q2036471) (← links)
- Punctual categoricity spectra of computably categorical structures (Q2055311) (← links)
- On bi-embeddable categoricity of algebraic structures (Q2067511) (← links)
- Turing reducibility in the fine hierarchy (Q2187259) (← links)
- Strong degrees of categoricity and weak density (Q2211365) (← links)
- Categorical linearly ordered structures (Q2311213) (← links)
- On \(\Delta_2^0\)-categoricity of equivalence relations (Q2346952) (← links)
- Degrees of autostability for linear orders and linearly ordered abelian groups (Q2364330) (← links)
- Effective choice of constructivizations and recursive consistency of problems on constructive models (Q2366356) (← links)
- Effectively categorical abelian groups (Q2377433) (← links)
- Effective categoricity for distributive lattices and Heyting algebras (Q2404797) (← links)
- A Note on Effective Categoricity for Linear Orderings (Q2988812) (← links)
- On the $n$-back-and-forth types of Boolean algebras (Q3116576) (← links)