Pages that link to "Item:Q1846417"
From MaRDI portal
The following pages link to Some aspects of generalized computability (Q1846417):
Displaying 19 items.
- Theory of Abelian groups with constructive models (Q579238) (← links)
- Algorithmic properties of branching models (Q580329) (← links)
- Homogeneous \(0'\)-elements in structural partial orderings (Q751651) (← links)
- Turing machine computations in finitely axiomatizable theories (Q1059628) (← links)
- Autostability and extensions of constructivizations (Q1071013) (← links)
- Constructivizability of a prime model (Q1071755) (← links)
- Nonuniform autostability of models (Q1117216) (← links)
- Criterion for strong constructivizability of a homogeneous model (Q1140632) (← links)
- Strong constructivizability of homogeneous models (Q1142774) (← links)
- Numerations of saturated and homogeneous models (Q1149948) (← links)
- Totally transcendental theory with a nonconstructivizable prime model (Q1155601) (← links)
- A totally transcendental decidable theory without constructivizable homogeneous models (Q1156128) (← links)
- Constructivizations of Boolean algebras (Q1171567) (← links)
- Enumerations of simple models (Q1258303) (← links)
- Degrees of autostability relative to strong constructivizations (Q2510761) (← links)
- Recursive isomorphism types of recursive Boolean algebras (Q3331214) (← links)
- Recursive Boolean algebras with recursive atoms (Q3331215) (← links)
- 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
- Theories with recursive models (Q3856753) (← links)
