The following pages link to (Q5596785):
Displaying 47 items.
- Functional equations for the functions of real variables (Q263953) (← links)
- A note on definability in fragments of arithmetic with free unary predicates (Q365661) (← links)
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- The shrinking property for NP and coNP (Q627189) (← links)
- A correspondence between commutative rings and Jordan loops (Q784468) (← links)
- Undecidability of some elementary theories over PAC fields (Q1074575) (← links)
- Nonconvergence, undecidability, and intractability in asymptotic problems (Q1095135) (← links)
- The undecidability of the lattice of r. e. closed subsets of an effective topological space (Q1098841) (← links)
- Algorithmic problems and hierarchies of first-order languages (Q1112803) (← links)
- Prevarieties of associative rings whose elementary theory is decidable (Q1136753) (← links)
- Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs (Q1163369) (← links)
- Mal'cev's correspondence and unsolvability (Q1204738) (← links)
- Undecidability of the elementary theory of groups of measure-preserving transformations (Q1280689) (← links)
- On the theories of free solvable groups (Q1295586) (← links)
- On quasi-identities of relation algebras with Diophantine operations (Q1363476) (← links)
- Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varieties (Q1586995) (← links)
- Tarski-type problems for free associative algebras (Q1702719) (← links)
- Elementary theories and hereditary undecidability for semilattices of numberings (Q1734277) (← links)
- Nonassociative rings with a single defining relation whose elementary theories are decidable (Q1814494) (← links)
- Decidability results for metric and layered temporal logics (Q1815429) (← links)
- A prevariety of semigroups whose elementary theory is solvable (Q1846860) (← links)
- Critical theories of varieties of nilpotent rings (Q1847291) (← links)
- Automata techniques for query inference machines (Q1849855) (← links)
- Finite queries do not have effective syntax. (Q1854305) (← links)
- Undecidability of the theory of projective planes (Q1957347) (← links)
- Degree spectra of structures (Q2036471) (← links)
- Modal definability: two commuting equivalence relations (Q2169131) (← links)
- Critical theories of certain nonassociative rings (Q2277245) (← links)
- A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
- The undecidability of the elementary theory of lattices of all equational theories of large signature (Q2311327) (← links)
- Succinct definitions in the first order theory of graphs (Q2368907) (← links)
- Expanded elementary and universal theories of lattice-ordered Abelian groups with a finite number of fibres (Q2548265) (← links)
- Well-Quasi Orders and Hierarchy Theory (Q3295154) (← links)
- The Shrinking Property for NP and coNP (Q3507436) (← links)
- Median Algebra (Q3890743) (← links)
- Strong reducibilities (Q3942949) (← links)
- The Härtig quantifier: a survey (Q3984397) (← links)
- Sheaf Constructions and Their Elementary Properties (Q4198732) (← links)
- (Q4389703) (← links)
- On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups (Q4558123) (← links)
- An improved lower bound for the elementary theories of trees (Q4647523) (← links)
- THE RECOGNITION COMPLEXITY OF DECIDABLE THEORIES (Q5086506) (← links)
- The Undecidability of Theories of Groupoids with an Extra Predicate (Q5181677) (← links)
- The Undecidability of Theories of Groupoids with an Extra Predicate (Q5666545) (← links)
- Further Generalizations of Results on Structures of Continuous Functions (Q5741385) (← links)
- On the effective universality of mereological theories (Q6094132) (← links)
- Elementary invariants for quantified probability logic (Q6095192) (← links)
