scientific article

From MaRDI portal

Publication:4003410

Jump to:navigation, search

zbMath0789.03031MaRDI QIDQ4003410

Wilfrid Hodges

Publication date: 23 January 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Model theory (03Cxx)

Related Items

Lattice of definability (of reducts) for integers with successor, Infinite stable graphs with large chromatic number, Unnamed Item, Unnamed Item, On the Complexity of the Model Checking Problem, Extension Properties of Boolean Contact Algebras, Non-genericity phenomena in ordered Fraïssé classes, Unnamed Item, ABSTRACT ω-LIMIT SETS, Chains of theories and companionability, Faithfully quadratic rings, On the definition of the small index property, Reasoning About Strategies, On the consistency problem for modular lattices and related structures, Weak Fraisse categories, Countable infinite existentially closed models of universally axiomatizable theories, Reconstructing the topology of clones, Inference Processes for Quantified Predicate Knowledge, RETRACTIONS OF REVERSIBLE STRUCTURES, INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY, When is the orbit algebra of a group an integral domain ? Proof of a conjecture of P.J. Cameron, Many Facets of Dualities, Unnamed Item, Action of endomorphism semigroups on definable sets, Characterization of finitely generated groups by types, Encoding Monomorphic and Polymorphic Types, Andrzej Mostowski and the Notion of a Model, Notes on models of first-order mereological theories, Unnamed Item, Constraint Satisfaction Problems over Numeric Domains, AMALGAMABLE DIAGRAM SHAPES, Well-Quasi Orders and Hierarchy Theory, Approximations of Mappings, Some Remarks on dp-Minimal Groups, The structure of random automorphisms of the rational numbers, Strict Mittag-Leffler modules and purely generated classes, Elementary equivalence in Artin groups of finite type, Dimension in the realm of transseries, On the strength of some topological lattices, Unnamed Item, HILBERT, DUALITY, AND THE GEOMETRICAL ROOTS OF MODEL THEORY, DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS, Model theory and diophantine geometry, Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior, BOREL FUNCTORS AND INFINITARY INTERPRETATIONS, ON CONSTRAINTS AND DIVIDING IN TERNARY HOMOGENEOUS STRUCTURES, An improved lower bound for the elementary theories of trees, Definable linear orders definably embed into lexicographic orders in o-minimal structures, Embedding jump upper semilattices into the Turing degrees, An application of Kochen's theorem, Ample Dividing, Polish group actions: Dichotomies and generalized elementary embeddings, Infinite finitely generated fields are biinterpretable with ℕ, Infinite products of finite simple groups, Structural Ramsey theory of metric spaces and topological dynamics of isometry groups, Tractable constraints in finite semilattices, Meromorphic groups, Homogeneity of inverse semigroups, AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS, THE COMPLEXITY OF TOPOLOGICAL GROUP ISOMORPHISM, Analytic $p$-adic cell decomposition and integrals, Model theory of proalgebraic groups, On the linearity of torsion-free nilpotent groups of finite Morley rank, Projective Fraïssé limits and the pseudo-arc, Model theory of 𝐶*-algebras, Automorphism groups of finite topological rank, Definable additive categories: purity and model theory, Recursive axiomatizations for representable posets, Relational exchangeability, A nonstandard Riemann existence theorem, Definability in the Infix Order on Words, Exploring Extensions of Possibilistic Logic over Gödel Logic, Countable random 𝑝-groups with prescribed Ulm-invariants, AN AXIOMATIC APPROACH TO FREE AMALGAMATION, The shape of congruence lattices, The Compositional Method and Regular Reachability, Where Automatic Structures Benefit from Weighted Automata, The uncountable cofinality of the automorphism group of the countable universal distributive lattice, Omitting types for algebraizable extensions of first order logic, Galois groups as quotients of Polish groups, Models of true arithmetic are integer parts of models of real exponentation, A descriptive Main Gap Theorem, A New Perspective on the Mereotopology of RCC8., Diophantine problems in solvable groups, Schnorr randomness and the Lebesgue differentiation theorem, Biinterpretability up to double jump in the degrees below $\mathbf {0}^{\prime }$, Simple algebraic and semialgebraic groups over real closed fields, Unnamed Item, VAUGHT’S CONJECTURE FOR ALMOST CHAINABLE THEORIES, RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES, WEAK CANONICAL BASES IN NSOP THEORIES, Stability theory, permutations of indiscernibles, and embedded finite models, Effectively dense Boolean algebras and their applications, Parallel Processes with Implicit Computational Capital, Exogenous Probabilistic Computation Tree Logic, IS A SPECTRUM OF A NON-DISINTEGRATED FLAT STRONGLY MINIMAL MODEL COMPLETE THEORY IN A LANGUAGE WITH FINITE SIGNATURE, Vaught's conjecture for theories admitting finite monomorphic decompositions, The completeness of the isomorphism relation for countable Boolean algebras, FREE GROUPS AND AUTOMORPHISM GROUPS OF INFINITE STRUCTURES, A non-standard proof of the Briançon-Skoda theorem, Degree spectra and computable dimensions in algebraic structures, Mekler's construction preserves \(CM\)-triviality, Towards a language theory for infinite N-free pomsets., The birth of social choice theory from the spirit of mathematical logic: Arrow's theorem in the framework of model theory, Topological dynamics and the complexity of strong types, A note on generic projective planes, Regular sets of infinite message sequence charts, Model theory of endomorphisms of separably closed fields, The theory of modules of separably closed fields. II., Decidability of string graphs, First-order queries on databases embedded in an infinite structure, Fraïssé classes of graded relational structures, Infinitely many reducts of homogeneous structures, Reconstructing the topology of the elementary self-embedding monoids of countable saturated structures, Complete groups are complete co-analytic, Modules for algebraic groups with finitely many orbits on subspaces, Logical quantizations of first-order structures, Higman's embedding theorem in a general setting and its application to existentially closed algebras, Atom structures of cylindric algebras and relation algebras, Finite covers with finite kernels, Interpreting modules in modules, On Sahlqvist formulas in relevant logic, Ontologies for plane, polygonal mereotopology, Reducts of random hypergraphs, Random nilpotent groups, polycyclic presentations, and Diophantine problems, Cameron's cofinitary group conjecture, Describing finite groups by short first-order sentences, Countably categorical theories, Independence and freedom, A note on monotone real circuits, Multi-interpretation operators and approximate classification., On random relational structures, Universal invariants for classes of abelian groups, Solving quantified linear arithmetic by counterexample-guided instantiation, Counting on CTL\(^*\): On the expressive power of monadic path logic, Keeping logic in the trivium of computer science: a teaching perspective, On deductive interpolation for the weak nilpotent minimum logic, An essay on model theory, Mixed characteristic homological theorems in low degrees., Tarski-type problems for free associative algebras, Divisible rigid groups. Algebraic closedness and elementary theory, Invariance and definability, with and without equality, Structure and enumeration theorems for hereditary properties in finite relational languages, Are Newtonian gravitation and geometrized Newtonian gravitation theoretically equivalent?, The ontology of digital physics, Carnap on empirical significance, Elementary equivalence of rings with finitely generated additive groups, What does a group algebra of a free group ``know about the group?, Preferential accessibility and preferred worlds, Alpha-theory: An elementary axiomatics for nonstandard analysis, Infiniteness of double coset collections in algebraic groups., Switching with more than two colours., On positive local combinatorial dividing-lines in model theory, Conjugacy for homogeneous ordered graphs, The descriptive complexity of decision problems through logics with relational fixed-point and capturing results, Constants and finite unary relations in qualitative constraint reasoning, A model of \(\mathsf {ZFA}+ \mathsf {PAC}\) with no outer model of \(\mathsf {ZFAC}\) with the same pure part, Generic variations and NTP\(_1\), Existentially closed CSA-groups., Analytic Zariski structures and the Hrushovski construction, Weak elimination of imaginaries for Boolean algebras, Locally finite generalized quadrangles with at most five points per line, Comeagre conjugacy classes and free products with amalgamation, Generations of generative classes, First-order modal logic: frame definability and a Lindström theorem, General extensional mereology is finitely axiomatizable, Back-and-forth systems for fuzzy first-order models, Binary simple homogeneous structures, Meadows and the equational specification of division, A collapse result for constraint queries over structures of small degree, Independence and the finite submodel property, Relative categoricity in abelian groups. II, From a zoo to a zoology: Towards a general theory of graph polynomials, Division safe calculation in totalised fields, Aspects of free groups., Cell decomposition and dimension function in the theory of closed ordered differential fields, How to win a game with features, Harmonious logic: Craig's interpolation theorem and its descendants, Ramsey degrees of finite ultrametric spaces, ultrametric Urysohn spaces and dynamics of their isometry groups, Representation of ideals of relational structures, Erratum to: ``Some model-theoretic results in the algebraic theory of quadratic forms, Some model theory over hereditary Noetherian domains, Countable structures with a fixed group of automorphisms, Undecidability results for low complexity time classes, The theory of the exponential differential equations of semiabelian varieties, A universal Polish \(G\)-space, Interpreting \(\mathbb{N}\) in the computably enumerable weak truth table degrees, Hybrid logic meets IF modal logic, On diagrams and flatness of functors, Extended order-generic queries, On some model theoretic problems concerning certain extensions of abelian groups by groups of finite exponent, A model-theoretic characterization of the weak pigeonhole principle, Saturation and stability in the theory of computation over the reals, Decidable fragments of first-order temporal logics, Elementary equivalence of infinite-dimensional classical groups, Guarded fixed point logics and the monadic theory of countable trees., Unions of non-disjoint theories and combinations of satisfiability procedures, Elementary polyhedral mereotopology, Expressiveness of concept expressions in first-order description logics, A classification of BL-algebras, A topological characterisation of endomorphism monoids of countable structures, Metrical universality for groups, The finite submodel property and \(\omega\)-categorical expansions of pregeometries, Stable pseudofinite groups, Reasoning about probabilistic sequential programs, The generic pair conjecture for dependent finite diagrams, Canonical and existential groups in universal classes of abelian groups, Automorphism groups of countable structures and groups of measurable functions, Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries, Decidability of general extensional mereology, Topological Galois theory, Functoriality and uniformity in Hrushovski's groupoid-cover correspondence, Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories, First order theory of cyclically ordered groups, Inverse monoids: decidability and complexity of algebraic questions., Bi-interpretability and QFA structures: study of some soluble groups and commutative rings. (Bi-interprétabilité et structures QFA : étude de groupes résolubles et des anneaux commutatifs, Herbrand theorems in arbitrary institutions, Model companion and model completion of theories of rings, A general Lindström theorem for some normal modal logics, Effectively inseparable Boolean algebras in lattices of sentences, Condensational equivalence, equimorphism, elementary equivalence and similar similarities, Equality and equivalence, intuitionistically, Extension and interpretability, Non-forking and preservation of NIP and dp-rank, On free decompositions of verbally closed subgroups in free products of finite groups, Quantum logic is undecidable, Theoretical equivalence in classical mechanics and its relationship to duality, Jumps in speeds of hereditary properties in finite relational languages, Categorical equivalence and the Ramsey property for finite powers of a primal algebra, Bowtie-free graphs have a Ramsey lift, Mekler's construction and generalized stability, On algebraic-geometric and universal theories of abelian groups, Generic norms and metrics on countable abelian groups, Vaught's conjecture for monomorphic theories, Set theory and the analyst, Universal actions and representations of locally finite groups on metric spaces, Divisible rigid groups. Morley rank, Permutation monoids and MB-homogeneity for graphs and relational structures, Intermediate logics admitting a structural hypersequent calculus, Adjunction of a strong unit to a hyper-Archimedean lattice-ordered group, The Löwenheim-Skolem theorem for Gödel logic, A new combination procedure for the word problem that generalizes fusion decidability results in modal logics, Decision procedures for term algebras with integer constraints, Generalizing empirical adequacy. II: Partial structures, Uncountable categoricity of local abstract elementary classes with amalgamation, Frege and the origins of model theory in nineteenth century geometry, Interpretability degrees of finitely axiomatized sequential theories, Dimension and singularity theory for local rings of finite embedding dimension, The number of fragments of the perfect class of the Jonsson spectrum, Bilinear spaces over a fixed field are simple unstable, Type space functors and interpretations in positive logic, Computable Scott sentences for quasi-Hopfian finitely presented structures, Preservation properties for products and sums of metric structures, A universal continuum of weight $\aleph $, Symbolic backward reachability with effectively propositional logic. Application to security policy analysis, Coarse equivalences of Euclidean buildings. (With an appendix by Jeroen Schillewaert and Koen Struyve.), On a possible application of the homotopy concept to model theory, On Jonsson stability and some of its generalizations, Automorphisms and model-theory questions for nilpotent matrix groups and rings., Prime models of theories of computable linear orderings, On von Neumann regular rings with an automorphism, Elimination of unbounded quantifiers for some poly-regular groups of infinite rank, Thorn independence in the field of real numbers with a small multiplicative group, Quadratic form theory over preordered von Neumann-regular rings, A generalization of von Neumann regularity, Recognizability, hypergraph operations, and logical types, A computably stable structure with no Scott family of finitary formulas, The hole argument for covariant theories, Satisfaction of existential theories in finitely presented groups and some embedding theorems., Binary simple homogeneous structures are supersimple with finite rank, Three red herrings around Vaught’s conjecture, Vapnik-Chervonenkis density in some theories without the independence property, I, Topological dynamics of automorphism groups, ultrafilter combinatorics, and the Generic Point Problem, Boolean algebras, Tarski invariants, and index sets, The monadic quantifier alternation hierarchy over grids and graphs, On a common generalization of Shelah's 2-rank, dp-rank, and o-minimal dimension, Using well-founded relations for proving operational termination, Weakly almost periodic functions, model-theoretic stability, and minimality of topological groups, Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic, Strongly dependent ordered abelian groups and Henselian fields, Bézout domains and lattice-valued modules, Łukasiewicz logics for cooperative games, Fixed points in compactifications and combinatorial counterparts, On generalization of definitional equivalence to non-disjoint languages, Supersimple \(\omega\)-categorical theories and pregeometries, All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms), On the first-order prefix hierarchy, The isomorphism problem on classes of automatic structures with transitive relations, Whitney's extension problem in o-minimal structures, Geometric grid classes of permutations, \(JSp\)-cosemanticness of \(R\)-modules, \(\aleph _0\)-categoricity of semigroups, A descent principle in modular subgroup arithmetic., Orbits of automorphism groups of fields, Complexity of monodic guarded fragments over linear and real time, Verbally and existentially closed subgroups of free nilpotent groups., The arithmetics of a theory, Graphs realised by r.e. equivalence relations, Homomorphic image orders on combinatorial structures., The distribution of countable models of the theory of the group of integers, NOTES ON THE STABLE REGULARITY LEMMA, Universal Horn Sentences and the Joint Embedding Property, Stably projectionless Fraïssé limits, Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays, Relativization of Gurevich’s Conjectures, Convergence and Nonconvergence Laws for Random Expansions of Product Structures, Unnamed Item, When Symmetries Are Not Enough: A Hierarchy of Hard Constraint Satisfaction Problems, Unnamed Item, Weighted Automata and Weighted Logics, A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC, BISIMULATIONS FOR KNOWING HOW LOGICS, Coarse groups, and the isomorphism problem for oligomorphic groups, Distality in valued fields and related structures, Unique ergodicity of the automorphism group of the semigeneric directed graph, Souslin quasi-orders and bi-embeddability of uncountable structures, On the antichain tree property, $C(\beta\mathbb{N}\setminus\mathbb{N})$ among the Archimedean $\ell$-groups with strong unit, Frame definability in finitely valued modal logics, Strongly minimal Steiner systems. II: Coordinatization and quasigroups, THE POTENTIAL IN FREGE’S THEOREM, Separation for isometric group actions and hyperimaginary independence, Fibered universal algebra for first-order logics, Semantics of computable physical models, Ranks, spectra and their dynamics for families of constant expansions of theories, Conceptual orthospaces -- convexity meets negation, Projective families of distributions revisited, Universal specialization semilattices, Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem, Weakly binary expansions of dense meet‐trees, Examples of weak amalgamation classes, THE WADGE ORDER ON THE SCOTT DOMAIN IS NOT A WELL-QUASI-ORDER, Amalgamating poset extensions and generating free lattices, ON MORITA EQUIVALENCE AND INTERPRETABILITY, Amenability and unique ergodicity of automorphism groups of countable homogeneous directed graphs, Homogeneous 1‐based structures and interpretability in random structures, A preservation theorem for theories without the tree property of the first kind, Sharp Vaught's conjecture for some classes of partial orders, A Unified Approach to Structural Limits and Limits of Graphs with Bounded Tree-Depth, Abstract algebraic logic. An introductory chapter, Distal and non‐distal behavior in pairs, Rigid models of Presburger arithmetic, Hall's universal group has ample generic automorphisms, On definability of types and relative stability, Pseudo‐c‐archimedean and pseudo‐finite cyclically ordered groups, Products of classes of finite structures, On elimination of quantifiers in some non‐classical mathematical theories, Ultrahomogeneous tensor spaces, Arboreal categories and equi-resource homomorphism preservation theorems, The lattice of definability: origins, recent developments, and further directions, Conjugacy classes of big mapping class groups, Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic, New axioms for the lattice-ordered groups existentially closed in $\mathbf W^+$, Boolean valued models, Boolean valuations, and Löwenheim-Skolem theorems, Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic dimension, Forcing with copies of the Rado and Henson graphs, Bicontextualism, Regular bi-interpretability of Chevalley groups over local rings, SATURATED MODELS FOR THE WORKING MODEL THEORIST, Defining \(R\) and \(G(R)\), Bounded generation and commutator width of Chevalley groups: function case, Quantitative structure of stable sets in finite abelian groups, INTERPRETATION, LOGIC AND PHILOSOPHY: JEAN NICOD’S GEOMETRY IN THE SENSIBLE WORLD, On algebraic array theories, Uncountable structures are not classifiable up to bi-embeddability, Group-theoretic generalisations of vertex and edge connectivities, Some Properties of Complete Boolean Algebras, Unnamed Item, Completeness, Categoricity and Imaginary Numbers: The Debate on Husserl, Model theory of R-trees, HOMOGENEOUS STRUCTURES WITH NONUNIVERSAL AUTOMORPHISM GROUPS, Interpolative fusions, Axiomatizing Boolean Differentiation, BI-INTERPRETATION IN WEAK SET THEORIES, Which group algebras cannot be made zero by imposing a single non-monomial relation?, Ramsey properties and extending partial automorphisms forhbox classes of finite structures, Solving equation systems in ω-categorical algebras, Back-and-forth systems for generic curves and a decision algorithm for the limit theory, Binary relations as single primitive notions for hyperbolic three-space and the inversive plane., Unnamed Item, THE DP-RANK OF ABELIAN GROUPS, Boolean products of real closed valuation rings and fields, Some model-theoretic results in the algebraic theory of quadratic forms, Relation algebras from cylindric algebras. I, Relation algebras from cylindric algebras. II, DISCRETE METRIC SPACES: STRUCTURE, ENUMERATION, AND 0-1 LAWS, Unnamed Item, Unnamed Item, DEFINABLY SIMPLE STABLE GROUPS WITH FINITARY GROUPS OF AUTOMORPHISMS, Conant's generalised metric spaces are Ramsey, How to win a game with features, Convexity Relations and Generalizations of o-Minimality, Modules as exact functors, Dynamical simplices and Fraïssé theory, Valued modules on skew polynomial rings and Bézout domains, Mittag-Leffler modules and definable subcategories, Generic representations of countable groups, Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔}, Model Theory in Algebra, Analysis and Arithmetic: A Preface, On the dimension of downsets of integer partitions and compositions, On inflationary fix-point operators safety, On the Bergman property., Neostability-properties of Fraïssé limits of 2-nilpotent groups of exponent \(p>2\), Metabelian groups: full-rank presentations, randomness and Diophantine problems, Priestley-type dualities for partially ordered structures, Algebraically closed and existentially closed abelian lattice-ordered groups, Entropy of formulas, On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry, Model-theoretic imaginaries and coherent sheaves, Cofinality spectrum problems: the axiomatic approach, Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems, Bi-simulating in bi-intuitionistic logic, Homogenizable structures and model completeness, A valuation ring analogue of von Neumann regularity, An Ehrenfeucht-Fraïssé game approach to collapse results in database theory, The incompleteness theorems after 70 years, Algorithmic uses of the Feferman-Vaught theorem, Preservation theorems and restricted consistency statements in bounded arithmetic, Vanishing of derived limits of non-standard inverse systems, Definability in the structure of words with the inclusion relation, \(\Sigma \)-definability of uncountable models of \(c\)-simple theories, Logic for physical space. From antiquity to present day, A comprehensive picture of the decidability of mereological theories, A process calculus with finitary comprehended terms, Automatic models of first order theories, An algebraic characterization of o-minimal and weakly o-minimal MV-chains, Extendability of automorphisms of generic substructures, Measurability in modules, Unary functions, Invariant measures via inverse limits of finite structures, Inversive meadows and divisive meadows, Unity in nominal equational reasoning: the algebra of equality on nominal sets, Completely representable lattices, Totally \(P\)-stable abelian groups, Groups elementarily equivalent to a free 2-nilpotent group of finite rank., What's right with a syntactic approach to theories and models?, On complexity of Ehrenfeucht-Fraïssé games, Topological differential fields, Completeness for flat modal fixpoint logics, A decidability result for the model checking of infinite-state systems, Non-axiomatizability of real spectra in \(\mathcal L_{ \infty \lambda} \), Spectral real semigroups, Some model-theoretic correspondences between dimension groups and AF algebras, Classifying singularities up to analytic extensions of scalars is smooth, Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry, On differentially closed ordered fields, New perspectives in algebraic logic, from neat embeddings to Erdős graphs, Characterization of NIP theories by ordered graph-indiscernibles, The metamathematics of Putnam's model-theoretic arguments, A dependent theory with few indiscernibles, On superstable CSA-groups, Generalized halfspaces in dimension groups, Graph components of prime spectra, Vertex partitions of metric spaces with finite distance sets, Random orderings and unique ergodicity of automorphism groups, Simplicity of some automorphism groups., An extension of lazy abstraction with interpolation for programs with arrays, Valued difference fields and \(\mathrm{NTP}_2\), Dependent \(T\) and existence of limit models, Non-universality of automorphism groups of uncountable ultrahomogeneous structures, Type extension trees for feature construction and learning in relational domains, The Thomsen-Bachmann correspondence in metric geometry. I, Positive primitive formulae of modules over rings of semi-algebraic functions on a curve, The meaning of specifications I: Domains and initial models, On non-forking spectra, Generic splitting for special groups, Algebraic and definable closure in free groups, Polish groups and Baire category methods, Computational complexity of determining which statements about causality hold in different space-time models, Model theory of finite and pseudofinite groups, Universal and homogeneous structures on the Urysohn and Gurarij spaces, The \(\aleph_{0}\)-categorical trees, All countable monoids embed into the monoid of the infinite random graph, Logic in representations of groups, Countable connected-homogeneous graphs, On central extensions and definably compact groups in o-minimal structures, Elements of model theory in higher-order fuzzy logic, Beth definability, interpolation and language splitting, A new spectrum of recursive models, On the algebra of structured specifications, Logical aspects of Cayley-graphs: the group case, Algebraic geometry over groups. III: Elements of model theory., On \(*\)-orderable groups., Characterising quotients of projective Fraïssé limits, Neat embeddings, omitting types, and interpolation: an overview, On Bellissima's construction of the finitely generated free Heyting algebras, and beyond, Some new results on decidability for elementary algebra and geometry, Generalising canonical extension to the categorical setting, A thread calculus with molecular dynamics, Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness, Distance structures for generalized metric spaces, Scott rank of Polish metric spaces, On the outer automorphism groups of free groups., Isotyped algebras, Asymptotic probabilities of extension properties and random \(l\)-colourable structures, Ramsey properties of finite posets, Ramsey properties of finite posets. II, Definable combinatorics with dense linear orders, Simple structures axiomatized by almost sure theories, Finite presentation of homogeneous graphs, posets and Ramsey classes, Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime, On a stronger reconstruction notion for monoids and clones, Homogeneous structures: model theory meets universal algebra. Abstracts from the workshop held January 3--9, 2021 (online meeting), Counting mod \(n\) in pseudofinite fields, Hanf numbers for extendibility and related phenomena, Model theory of monadic predicate logic with the infinity quantifier, Complexity of the problem of being equivalent to Horn formulas, Reducts of relation algebras: the aspects of axiomatisability and finite representability, NP satisfiability for arrays as powers, Facial structure of matrix convex sets, Remarks on weak amalgamation and large conjugacy classes in non-Archimedean groups, Antichains of copies of ultrahomogeneous structures, The structure of random automorphisms of the random graph, MV-algebras and partially cyclically ordered groups, Automata and tame expansions of \((\mathbb{Z}, +)\), Choice-free duality for orthocomplemented lattices by means of spectral spaces, On Kim-independence, Full rank presentations and nilpotent groups: structure, Diophantine problem, and genericity, On \(\omega \)-categorical groups and rings of finite burden, Amalgamation and Ramsey properties of \(L_p\) spaces, The theory of ceers computes true arithmetic, Two remarks on the first-order theories of Baumslag-Solitar groups, On hypergraphs of minimal and prime models of theories of abelian groups, Martin-Löf randomness, invariant measures and countable homogeneous structures, Fields with automorphism and valuation, Ramsey property, ultrametric spaces, finite posets, and universal minimal flows, On theory of regular languages with the Kleene star operation, Verbally closed subgroups of free solvable groups, SV-rings and SV-porings, On logics with two variables, Automorphism groups of universal diversities, Regular partitions of gentle graphs, Invariants related to the tree property, Changing the heights of automorphism towers, Laplace's demon tries on Aristotle's cloak: on two approaches to determinism, Elementary doctrines as coalgebras, Ramsey transfer to semi-retractions, The automorphism tower problem revisited, Linearly ordered sets with only one operator have the amalgamation property, Games with finitely generated structures, Dense locally finite subgroups of automorphism groups of ultraextensive spaces, On the Baer-Lovász-Tutte construction of groups from graphs: isomorphism types and homomorphism notions, Existentially closed closure algebras, On the virtue of categoricity, Infinite lexicographic products, Generalised stability of ultraproducts of finite residue rings, The Rado simplicial complex, Definable relations in finite-dimensional subspace lattices with involution, Construction of existentially closed abelian lattice-ordered groups using Fraïssé limits, On transferring model theoretic theorems of \(\mathcal L_{\infty,\omega}\) in the category of sets to a fixed Grothendieck topos, The institution-theoretic scope of logic theorems, Finitely generated groups are universal among finitely generated structures, Probabilistic characterisation of models of first-order theories, Directed graphs and boron trees, Finite big Ramsey degrees in universal structures, Generalizing empirical adequacy. I: Multiplicity and approximation, Algebraic geometry over algebraic structures. IX: Principal universal classes and dis-limits, Actions arising from intersection and union, Copies of the random graph, From automatic structures to automatic groups., Elementary properties of minimal and maximal points in Zariski spectra, The component graph of the uniform spanning forest: transitions in dimensions \(9,10,11,\ldots\), Existentially closed exponential fields, Forbidden substructures and combinatorial dichotomies: WQO and universality, A survey of homogeneous structures, Spectra for generative classes, The Ramsey and the ordering property for classes of lattices and semilattices, Pro-aperiodic monoids via saturated models, Two Fraïssé-style theorems for homomorphism-homogeneous relational structures, Complete first-order theories of some classical matrix groups over algebraic integers, R.e. Prime powers and total rigidity, Big Cohen-Macaulay and seed algebras in equal characteristic zero via ultraproducts, \(\aleph_0\)-categoricity of semigroups. II., Permutation groups with small orbit growth, Product of invariant types modulo domination-equivalence, Proving semantic properties as first-order satisfiability, The ubiquitous axiom, A semigroup of theories and its lattice of idempotent elements, The classification of homogeneous finite-dimensional permutation structures, Topologies of pointwise convergence in the first order languages and in affine spaces, Canonical and algebraically closed groups in universal classes of abelian groups, Prime and homogeneous rings and algebras, Constructing decidable graphs from decidable structures, On equations and first-order theory of one-relator monoids, A general Banach-Stone type theorem and applications, Armchair philosophy naturalized, Tractable combinations of theories via sampling, An algebraic view on p-admissible concrete domains for lightweight description logics, Completeness for the classical antecedent fragment of inquisitive first-order logic, Invariant measures on products and on the space of linear orders, Cohen-like first order structures, Using model theory to find decidable and tractable description logics with concrete domains, Éz fields, How do mental models actually exist in the brain: on context-dependent neural correlates of mental models, Equations in acylindrically hyperbolic groups and verbal closedness, Hilbert's tenth problem for term algebras with a substitution operator, An undecidability result for the asymptotic theory of \(p\)-adic fields, Metric spaces are universal for bi-interpretation with metric structures, Quantifier elimination for o-minimal structures expanded by a valuational cut, ASNP: a tame fragment of existential second-order logic, BOLZANO’S MATHEMATICAL INFINITE, ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION, A Quest for Algorithmically Random Infinite Structures, II, On Decidable and Computable Models of Theories, Unnamed Item, Metrically universal abelian groups, Unnamed Item, On Fraïssé’s Theorem for Uncountable Classes of Finitely Generated Structures, Definable Sets in Generic Structures and their Cardinalities, Constructing Hard Examples for Graph Isomorphism, The structure of random automorphisms of countable structures, On the complexity of the relations of isomorphism and bi-embeddability, Definable envelopes of nilpotent subgroups of groups with chain conditions on centralizers, Regularity lemmas for stable graphs, Formal power series, On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic, COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY, BINARY PRIMITIVE HOMOGENEOUS SIMPLE STRUCTURES, A logical look at characterizations of geometric transformations under mild hypotheses, One-dimensional asymptotic classes of finite structures, Further Generalizations of Results on Structures of Continuous Functions, On interpretability of almost linear orderings, Lattice ordered o-minimal structures, A Note on Representing and Interpreting MV-Algebras, Pure subrings of regular rings are pseudo-rational, Learning logic programs with structured background knowledge, Neocompact quantifier elimination in structures based on Banach spaces, Guarded Negation, The uniform companion for large differential fields of characteristic 0, Finite paths are universal, Finite paths are universal, Topological Birkhoff, Strongly Algebraically Closed Lattices in ℓ-groups and Semilattices, MULTIDIMENSIONAL EXACT CLASSES, SMOOTH APPROXIMATION AND BOUNDED 4-TYPES, UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS, A Roadmap to Decidability, Almost Every Domain is Universal, Computational Short Cuts in Infinite Domain Constraint Satisfaction, Reducible Theories and Amalgamations of Models, A rigid Urysohn-like metric space, ALGEBRAIC EXPANSIONS OF LOGICS

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4003410&oldid=17697151"