scientific article; zbMATH DE number 1007358
From MaRDI portal
Publication:4336034
Recommendations
- scientific article; zbMATH DE number 53151
- A Course on Basic Model Theory
- Model Theory
- A course in model theory
- scientific article; zbMATH DE number 1015878
- scientific article; zbMATH DE number 957948
- Model theory for beginners. 15 lectures
- Model theory without pain
- Beyond first order model theory
- Model theory.
Cited in
(only showing first 100 items - show all)- A universality result for endomorphism monoids of some ultrahomogeneous structures
- Limit groups as limits of free groups.
- Countable homogeneous linearly ordered posets
- Constraint satisfaction problems over the integers with successor
- Multi-sorted logic and logical geometry: some problems.
- MEREOLOGICAL BIMODAL LOGICS
- Polymorphism clones of homogeneous structures: generating sets, Sierpiński rank, cofinality and the Bergman property
- Truth, dependence and supervaluation: living with the ghost
- Fraïssé limits in comma categories
- Automorphism groups of generic structures: extreme amenability and amenability
- A dichotomy for first-order reducts of unary structures
- \(2^{\aleph_{0}}\) pairwise nonisomorphic maximal-closed subgroups of \(\mathrm{Sym}(\mathbb N)\) via the classification of the reducts of the Henson digraphs
- Exponential sums over definable subsets of finite fields
- The universal minimal flow of the homeomorphism group of the Lelek fan
- Characterisations of ${\varSigma }$-pure-injectivity in triangulated categories and applications to endocoperfect objects
- Virtual algebraic isomorphisms between predicate calculi of finite rich signatures
- A survey of local-global methods for Hilbert's tenth problem
- Elimination theory for addition and the frobenius map in polynomial rings
- On complex exponentiation restricted to the integers
- The classification of homomorphism homogeneous tournaments
- A counterexample to the reconstruction of \(\omega\)-categorical structures from their endomorphism monoid
- On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions
- Relativised homomorphism preservation at the finite level
- Reducts of the random partial order
- Transfer theorems for finitely subdirectly irreducible algebras
- Combining non-stably infinite theories
- Exercices de style: a homotopy theory for set theory
- ON COHESIVE POWERS OF LINEAR ORDERS
- THICKET DENSITY
- The degrees of categorical theories with recursive models
- Discrepancy and sparsity
- Filling certain cuts in discrete weakly o-minimal structures
- \( \omega \)-categorical structures avoiding height 1 identities
- The K-theory of assemblers
- String orders in the Luttinger liquid phase of one-dimensional spin-1/2 systems
- Encoding hybridized institutions into first-order logic
- ON THE AUTOMORPHISM GROUP OF THE UNIVERSAL HOMOGENEOUS MEET-TREE
- Recursive functions and existentially closed structures
- Dialectical contradictions and classical formal logic
- On countable fractions from an elementary class
- Relative exchangeability with equivalence relations
- Structure and Power: an Emerging Landscape
- Nondiversity in substructures
- Fraïssé and Ramsey properties of Fréchet spaces
- Complexity classification transfer for CSPs via algebraic products
- Descendant-homogeneous digraphs
- Spectra of theories and structures
- Automorphism groups of countably categorical linear orders are extremely amenable
- 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
- Undirecting membership in models of anti-foundation
- scientific article; zbMATH DE number 7407786 (Why is no real title available?)
- Strongly polynomial sequences as interpretations
- Higher-order contingentism. III: Expressive limitations
- The containment problem for unambiguous register automata
- On polymorphism-homogeneous relational structures and their clones.
- Local-global convergence, an analytic and structural approach
- Classification of some countable descendant-homogeneous digraphs
- Automorphism groups of countable algebraically closed graphs and endomorphisms of the random graph
- Reflexive digraphs with near unanimity polymorphisms
- Fraïssé structures with universal automorphism groups
- Integrating Hasse-Schmidt derivations
- A local normal form theorem for infinitary logic with unary quantifiers
- Games and Lindström theorems
- Equations in oligomorphic clones and the constraint satisfaction problem for \(\omega \)-categorical structures
- Reducts of the random bipartite graph
- Reducts of the generic digraph
- Symmetries and the philosophy of language
- Ramsey equivalence
- Integration and cell decomposition in \(P\)-minimal structures
- An algebraic view on p-admissible concrete domains for lightweight description logics
- Ranks based on strong amalgamation Fraïssé classes
- DISTALITY RANK
- Model-theoretic properties of nilpotent groups and Lie algebras
- WQO dichotomy for 3-graphs
- Description logics with concrete domains and general concept inclusions revisited
- Using model theory to find decidable and tractable description logics with concrete domains
- Discrete quantum structures. I: Quantum predicate logic
- scientific article; zbMATH DE number 7406819 (Why is no real title available?)
- Irreducibility of polynomials over global fields is diophantine
- Automatic Continuity of Group Homomorphisms
- Beyond linguistic interpretation in theory comparison
- Computability of Fraïssé limits
- Formalizing adequacy: a case study for higher-order abstract syntax
- Weighted o-minimal hybrid systems
- Smooth approximations and CSPs over finitely bounded homogeneous structures
- MODEL THEORY OF GALOIS ACTIONS OF TORSION ABELIAN GROUPS
- The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one
- Games and bisimulations for intuitionistic first-order Kripke models
- Polish topologies on endomorphism monoids of relational structures
- A note on extending actions of infinitesimal group schemes
- Interpreting nowhere dense graph classes as a classical notion of model theory
- Definability and invariance
- Peek arc consistency
- Coding true arithmetic in the Medvedev and Muchnik degrees
- Asymptotic classes of finite Moufang polygons
- Permutations on the random permutation
- The probability nesting game
- Unprovability results for clause set cycles
- The wonderland of reflections
- Non-dichotomies in Constraint Satisfaction Complexity
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4336034)
