The following pages link to (Q4336034):
Displaying 50 items.
- Uniformly defining \(p\)-Henselian valuations (Q2344717) (← links)
- Countable homogeneous lattices (Q2351721) (← links)
- Refinement in hybridised institutions (Q2355385) (← links)
- Topological 2-generation of automorphism groups of countable ultrahomogeneous graphs (Q2363345) (← links)
- Imaginaries in real closed valued fields (Q2368915) (← links)
- An algebraic approach to belief contraction and nonmonotonic entailment (Q2372198) (← links)
- Automorphism groups of countably categorical linear orders are extremely amenable (Q2376898) (← links)
- Truth, dependence and supervaluation: living with the ghost (Q2377186) (← links)
- Formalizing adequacy: a case study for higher-order abstract syntax (Q2392483) (← links)
- Fixed-parameter tractable distances to sparse graph classes (Q2408199) (← links)
- Interpreting nowhere dense graph classes as a classical notion of model theory (Q2441640) (← links)
- Definability and invariance (Q2454641) (← links)
- Exponential sums over definable subsets of finite fields (Q2480574) (← links)
- The mathematical universe (Q2481233) (← links)
- The embeddability ordering of topological spaces (Q2499780) (← links)
- Twin paradox and the logical foundation of relativity theory (Q2505242) (← links)
- Elementarity and dimensions (Q2577370) (← links)
- Fraïssé structures with universal automorphism groups (Q2630884) (← links)
- Henselianity in the language of rings (Q2636534) (← links)
- Undirecting membership in models of anti-foundation (Q2662895) (← links)
- Ramsey equivalence (Q2667064) (← links)
- Polyadic spaces and profinite monoids (Q2695361) (← links)
- General lower bounds and improved algorithms for infinite-domain CSPs (Q2700386) (← links)
- Towards a Ryll-Nardzewski-type theorem for weakly oligomorphic structures (Q2793904) (← links)
- Schaefer's theorem for graphs (Q2796406) (← links)
- On Interpolation and Symbol Elimination in Theory Extensions (Q2817926) (← links)
- The degrees of categorical theories with recursive models (Q2839320) (← links)
- The probability nesting game (Q2842598) (← links)
- Upward Morley's theorem downward (Q2856635) (← links)
- Towards finite homomorphism-homogeneous relational structures (Q2857385) (← links)
- An abstract decision procedure for satisfiability in the theory of recursive data types (Q2864522) (← links)
- The 42 reducts of the random ordered graph (Q2949677) (← links)
- First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories (Q2959176) (← links)
- Reconstructing the topology of clones (Q2960444) (← links)
- THE REDUCTS OF THE HOMOGENEOUS BINARY BRANCHING <i>C</i>-RELATION (Q2976332) (← links)
- COMPUTABLE STRUCTURES IN GENERIC EXTENSIONS (Q2976365) (← links)
- INTEGRATION AND CELL DECOMPOSITION IN P-MINIMAL STRUCTURES (Q2976383) (← links)
- On Turner’s theorem and first-order theory (Q2978245) (← links)
- Uncountable graphs and invariant measures on the set of universal countable graphs (Q3055899) (← links)
- Computability of Fraïssé limits (Q3083128) (← links)
- Coding true arithmetic in the Medvedev and Muchnik degrees (Q3083139) (← links)
- On transitive subrelations of binary relations (Q3107363) (← links)
- A universality result for endomorphism monoids of some ultrahomogeneous structures (Q3167441) (← links)
- Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle (Q3183193) (← links)
- Approximations of Mappings (Q3295272) (← links)
- The class of polyadic algebras has the super amalgamation property (Q3406455) (← links)
- Spectra of structures and relations (Q3426577) (← links)
- Constraint Satisfaction Problems over the Integers with Successor (Q3448790) (← links)
- Non-dichotomies in Constraint Satisfaction Complexity (Q3519501) (← links)
- (Q3539556) (← links)
