Pages that link to "Item:Q1381432"
From MaRDI portal
The following pages link to Computable models of theories with few models (Q1381432):
Displaying 42 items.
- Limitwise monotonic reducibility on sets and on pairs of sets (Q292861) (← links)
- Automatic models of first order theories (Q387121) (← links)
- New spectra of strongly minimal theories in finite languages (Q638500) (← links)
- A new spectrum of recursive models (Q701304) (← links)
- Computable shuffle sums of ordinals (Q938232) (← links)
- On two problems of Turing complexity for strongly minimal theories (Q954212) (← links)
- Effective categoricity of abelian \(p\)-groups (Q1023056) (← links)
- Abstract complexity theory and the \(\Delta_{2}^{0}\) degrees (Q1612486) (← links)
- Computable torsion abelian groups (Q1688648) (← links)
- Degree spectra of structures (Q2036471) (← links)
- Limitwise monotonic spectra and their generalizations (Q2117781) (← links)
- Enumerating abelian \(p\)-groups (Q2193224) (← links)
- Spectra of recursive models of disintegrated strongly minimal theories (Q2263105) (← links)
- Maximality and minimality under limitwise monotonic reducibility (Q2263113) (← links)
- Limitwise monotonic reducibility of sets and \(\Sigma\)-definability of abelian groups (Q2287042) (← links)
- Scott sentences for equivalence structures (Q2309506) (← links)
- On \(\Delta_2^0\)-categoricity of equivalence relations (Q2346952) (← links)
- Effectively categorical abelian groups (Q2377433) (← links)
- Effective categoricity of equivalence structures (Q2498900) (← links)
- An uncountably categorical theory whose only computably presentable model is saturated (Q2505131) (← links)
- Prime models of theories of computable linear orderings (Q2723507) (← links)
- COMPUTABLE ABELIAN GROUPS (Q2795203) (← links)
- Limitwise monotonic sequences and degree spectra of structures (Q2845476) (← links)
- Iterated effective embeddings of abelian p-groups (Q2941047) (← links)
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
- A new spectrum of recursive models using an amalgamation construction (Q3173531) (← links)
- On limitwise monotonicity and maximal block functions (Q3195647) (← links)
- A computable ℵ<sub>0</sub>-categorical structure whose theory computes true arithmetic (Q3570169) (← links)
- Classifying model-theoretic properties (Q3617367) (← links)
- A Friedberg enumeration of equivalence structures (Q4596664) (← links)
- IS A SPECTRUM OF A NON-DISINTEGRATED FLAT STRONGLY MINIMAL MODEL COMPLETE THEORY IN A LANGUAGE WITH FINITE SIGNATURE (Q5021931) (← links)
- A CHARACTERIZATION OF THE STRONGLY -REPRESENTABLE MANY-ONE DEGREES (Q5052014) (← links)
- Recursive spectra of flat strongly minimal theories (Q5164063) (← links)
- Limitwise monotonic functions, sets, and degrees on computable domains (Q5190192) (← links)
- Limitwise monotonic sets of reals (Q5258484) (← links)
- Theory spectra and classes of theories (Q5267981) (← links)
- On the computability-theoretic complexity of trivial, strongly minimal models (Q5308141) (← links)
- On Decidable and Computable Models of Theories (Q5326370) (← links)
- 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06 (Q5421032) (← links)
- Applications of Kolmogorov complexity to computable model theory (Q5422317) (← links)
- <i>η</i>-representation of sets and degrees (Q5502806) (← links)
- Rogers semilattices of limitwise monotonic numberings (Q6094148) (← links)
