The following pages link to (Q4336034):
Displaying 50 items.
- Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract) (Q3540195) (← links)
- The 116 reducts of (ℚ, <, <i>a</i>) (Q3617366) (← links)
- Automatic Continuity of Group Homomorphisms (Q3633207) (← links)
- Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems (Q3644743) (← links)
- Notes on local o-minimality (Q3650321) (← links)
- On countable fractions from an elementary class (Q4323052) (← links)
- Automorphism groups of generic structures: extreme amenability and amenability (Q4565100) (← links)
- PAIRWISE NONISOMORPHIC MAXIMAL-CLOSED SUBGROUPS OF SYM(ℕ) VIA THE CLASSIFICATION OF THE REDUCTS OF THE HENSON DIGRAPHS (Q4579799) (← links)
- Varying interpolation and amalgamation in polyadic MV-algebras (Q4586142) (← links)
- The universal minimal flow of the homeomorphism group of the Lelek fan (Q4633769) (← links)
- Irreducibility of polynomials over global fields is diophantine (Q4636426) (← links)
- THE LOGIC AND TOPOLOGY OF KANT’S TEMPORAL CONTINUUM (Q4637953) (← links)
- A Dichotomy for First-Order Reducts of Unary Structures (Q4643958) (← links)
- (Q4643959) (← links)
- A local normal form theorem for infinitary logic with unary quantifiers (Q4666943) (← links)
- Filling certain cuts in discrete weakly o-minimal structures (Q4666944) (← links)
- (Q4668856) (← links)
- Homogeneity of inverse semigroups (Q4686445) (← links)
- Combining Non-Stably Infinite Theories (Q4916220) (← links)
- On complex exponentiation restricted to the integers (Q4931101) (← links)
- Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures (Q4973030) (← links)
- Equivalence Criteria for Compositional IF Modal Logics (Q4982119) (← links)
- PROJECTIVE CLONE HOMOMORPHISMS (Q5000252) (← links)
- THICKET DENSITY (Q5000265) (← links)
- Quantum Measurements from a Logical Point of View (Q5015190) (← links)
- (Q5020523) (← links)
- (Q5021008) (← links)
- ON THE AUTOMORPHISM GROUP OF THE UNIVERSAL HOMOGENEOUS MEET-TREE (Q5021926) (← links)
- Logarithms, constructible functions and integration on non-archimedean models of the theory of the real field with restricted analytic functions with value group of finite archimedean rank (Q5029034) (← links)
- Structure and Power: an Emerging Landscape (Q5038563) (← links)
- MEREOLOGICAL BIMODAL LOGICS (Q5046599) (← links)
- (Q5079750) (← links)
- The Containment Problem for Unambiguous Register Automata (Q5090504) (← links)
- (Q5094139) (← links)
- Odoni’s conjecture on arboreal Galois representations is false (Q5097321) (← links)
- Hardness of Network Satisfaction for Relation Algebras with Normal Representations (Q5098711) (← links)
- Graphs defined on groups (Q5102166) (← links)
- The gap‐two cardinal problem for uncountable languages (Q5109228) (← links)
- HOMOGENEOUS COMPLETELY SIMPLE SEMIGROUPS (Q5113001) (← links)
- Recursive functions and existentially closed structures (Q5114808) (← links)
- 𝜔-categorical structures avoiding height 1 identities (Q5141754) (← links)
- (Q5154970) (← links)
- (Q5155675) (← links)
- A CLASS OF FIELDS WITH A RESTRICTED MODEL COMPLETENESS PROPERTY (Q5159495) (← links)
- Solving equation systems in ω-categorical algebras (Q5163170) (← links)
- Tractability of quantified temporal constraints to the max (Q5175605) (← links)
- Formal language properties of hybrid systems with strong resets (Q5190079) (← links)
- CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES (Q5195061) (← links)
- Pseudo‐loop conditions (Q5205451) (← links)
- Games for Inclusion Logic and Fixed-Point Logic (Q5213642) (← links)
