The following pages link to (Q4336034):
Displaying 50 items.
- Distance constraint satisfaction problems (Q259047) (← links)
- A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic (Q266237) (← links)
- Ramsey degrees, labeled and unlabeled partitions (Q267211) (← links)
- Constraint satisfaction and semilinear expansions of addition over the rationals and the reals (Q269512) (← links)
- The \(K\)-theory of assemblers (Q329526) (← links)
- Strongly polynomial sequences as interpretations (Q334158) (← links)
- Modal ontology and generalized quantifiers (Q373015) (← links)
- And so on \dots : reasoning with infinite diagrams (Q375286) (← links)
- The index set of uncountably categorical theories (Q375902) (← links)
- The class of algebraically closed p-semilattices is finitely axiomatizable (Q387623) (← links)
- A game-theoretic approach to fault diagnosis and identification of hybrid systems (Q391104) (← links)
- New Ramsey classes from old (Q405215) (← links)
- Indexicals, context-sensitivity and the failure of implication (Q408328) (← links)
- Linear orderings and powers of characterizable cardinals (Q409319) (← links)
- Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326) (← links)
- Reflexive digraphs with near unanimity polymorphisms (Q442320) (← links)
- Countable homogeneous linearly ordered posets (Q449222) (← links)
- Reducts of the random partial order (Q462283) (← links)
- Integrating Hasse-Schmidt derivations (Q479288) (← links)
- Permutations on the random permutation (Q491556) (← links)
- An initial study of time complexity in infinite-domain constraint satisfaction (Q514144) (← links)
- Reducts of the Henson graphs with a constant (Q526969) (← links)
- Homomorphisms and chains of Kripke models (Q535159) (← links)
- Theories of initial segments of standard models of arithmetics and their complete extensions (Q549718) (← links)
- Span, chainability and the continua \(\mathbb H^{\ast}\) and \(\mathbb I_{u}\) (Q555816) (← links)
- Descendant-homogeneous digraphs (Q618299) (← links)
- Weighted o-minimal hybrid systems (Q636266) (← links)
- Asymptotic classes of finite Moufang polygons (Q645245) (← links)
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information (Q645985) (← links)
- Lelek's problem is not a metric problem (Q649607) (← links)
- Endolocality meets homomorphism-homogeneity: A new approach in the study of relational algebras (Q652515) (← links)
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Generic expansions of countable models (Q691128) (← links)
- Universal locally finite maximally homogeneous semigroups and inverse semigroups (Q723296) (← links)
- Classification of some countable descendant-homogeneous digraphs (Q764876) (← links)
- The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one (Q779152) (← links)
- An incremental algorithm for DLO quantifier elimination via constraint propagation (Q814643) (← links)
- Combining nonstably infinite theories (Q851136) (← links)
- Preservation theorems for bounded formulas (Q866887) (← links)
- Exercices de style: a homotopy theory for set theory (Q891147) (← links)
- A note on extending actions of infinitesimal group schemes (Q891660) (← links)
- Multi-sorted logic and logical geometry: some problems. (Q895878) (← links)
- Are there any good digraph width measures? (Q896003) (← links)
- Reducts of the generic digraph (Q904153) (← links)
- Symmetries and the philosophy of language (Q905674) (← links)
- The complexity of equality constraint languages (Q929295) (← links)
- Physical limits of inference (Q933440) (← links)
- Challenging epistemology: Interactive proofs and zero knowledge (Q959048) (← links)
- Maximal infinite-valued constraint languages (Q1014639) (← links)
- Homogeneous and strictly homogeneous criteria for partial structures (Q1028463) (← links)
