The following pages link to (Q4336034):
Displaying 50 items.
- Peek arc consistency (Q1044838) (← links)
- Complemented modular lattices with involution and orthogonal geometry (Q1047096) (← links)
- Model theory. (Q1188602) (← links)
- Quantifier rank for parity of embedded finite models. (Q1401237) (← links)
- Countable ultrahomogeneous antimatroids of convex dimension 2 (Q1402072) (← links)
- Tropically convex constraint satisfaction (Q1635805) (← links)
- A counterexample to the reconstruction of \(\omega\)-categorical structures from their endomorphism monoid (Q1650007) (← links)
- On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions (Q1652877) (← links)
- Polymorphism clones of homogeneous structures: generating sets, Sierpiński rank, cofinality and the Bergman property (Q1652881) (← links)
- Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
- Fraïssé limits in comma categories (Q1656723) (← links)
- Relative exchangeability with equivalence relations (Q1661674) (← links)
- Higher-order contingentism. III: Expressive limitations (Q1670490) (← links)
- Relativised homomorphism preservation at the finite level (Q1680516) (← links)
- Varieties of misrepresentation and homomorphism (Q1705304) (← links)
- Homogeneous bands (Q1705474) (← links)
- The wonderland of reflections (Q1709740) (← links)
- Computability-theoretic categoricity and Scott families (Q1740457) (← links)
- Hanf number for Scott sentences of computable structures (Q1756497) (← links)
- Limit groups as limits of free groups. (Q1781931) (← links)
- An infinite hierarchy of temporal logics over branching time (Q1854487) (← links)
- Reducts of the random bipartite graph (Q1934952) (← links)
- Effective algebraicity (Q1935364) (← links)
- Beyond Erdős-Kunen-Mauldin: shift-compactness properties and singular sets (Q1998810) (← links)
- Minimal functions on the random graph (Q2017162) (← links)
- An algebraic view on p-admissible concrete domains for lightweight description logics (Q2055793) (← links)
- Games and bisimulations for intuitionistic first-order Kripke models (Q2062207) (← links)
- Unprovability results for clause set cycles (Q2084942) (← links)
- Using model theory to find decidable and tractable description logics with concrete domains (Q2090131) (← links)
- Description logics with concrete domains and general concept inclusions revisited (Q2096462) (← links)
- Decisiveness of stochastic systems and its application to hybrid models (Q2105467) (← links)
- Jordan permutation groups and limits of \(D\)-relations (Q2136389) (← links)
- Virtual algebraic isomorphisms between predicate calculi of finite rich signatures (Q2145868) (← links)
- String orders in the Luttinger liquid phase of one-dimensional spin-1/2 systems (Q2156107) (← links)
- Bases for structures and theories. I. (Q2198318) (← links)
- The classification of homomorphism homogeneous tournaments (Q2198976) (← links)
- The property of being a model complete theory is preserved by Cartesian extensions (Q2212696) (← links)
- On countably saturated linear orders and certain class of countably saturated graphs (Q2219095) (← links)
- Dismantlability, connectedness, and mixing in relational structures (Q2222042) (← links)
- Countable homogeneous Steiner triple systems avoiding specified subsystems (Q2229200) (← links)
- Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms (Q2238592) (← links)
- Fraïssé and Ramsey properties of Fréchet spaces (Q2247738) (← links)
- On polymorphism-homogeneous relational structures and their clones. (Q2257979) (← links)
- Disjunction and existence properties in inquisitive first-order logic (Q2278839) (← links)
- Two first-order logics of permutations (Q2299614) (← links)
- A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
- On generalization of definitional equivalence to non-disjoint languages (Q2323696) (← links)
- \(JSp\)-cosemanticness of \(R\)-modules (Q2331135) (← links)
- Hintikka and the functions of logic (Q2334655) (← links)
- Computing and dominating the Ryll-Nardzewski function (Q2342310) (← links)
