scientific article; zbMATH DE number 1007358

zbMATH Open0873.03036MaRDI QIDQ4336034FDOQ4336034

Authors: Wilfrid Hodges 

Publication date: 6 May 1997

Title of this publication is not available (Why is that?)

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.

zbMATH Keywords

stabilitymodel theorycategoricityquantifier eliminationomitting types

Mathematics Subject Classification ID

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

Cited In (only showing first 100 items - show all)

• Beyond Erdős-Kunen-Mauldin: shift-compactness properties and singular sets
• Title not available (Why is that?)
• On countably saturated linear orders and certain class of countably saturated graphs
• GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC
• An abstract decision procedure for satisfiability in the theory of recursive data types
• Dismantlability, connectedness, and mixing in relational structures
• Polyadic spaces and profinite monoids
• \(JSp\)-cosemanticness of \(R\)-modules
• Hintikka and the functions of logic
• Computability-theoretic categoricity and Scott families
• On generalization of definitional equivalence to non-disjoint languages
• Countable homogeneous Steiner triple systems avoiding specified subsystems
• Logics for propositional contingentism
• The property of being a model complete theory is preserved by Cartesian extensions
• Homogeneous completely simple semigroups
• Games for inclusion logic and fixed-point logic
• Computing and dominating the Ryll-Nardzewski function
• Fixed-parameter tractable distances to sparse graph classes
• Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms
• The reducts of the homogeneous binary branching \(C\)-relation
• Varying interpolation and amalgamation in polyadic MV-algebras
• Jordan permutation groups and limits of \(D\)-relations
• Hanf number for Scott sentences of computable structures
• The model theory of commutative near-vector spaces
• Characterizing downwards closed, strongly first-order, relativizable dependencies
• Pseudo‐loop conditions
• Towards a Ryll-Nardzewski-type theorem for weakly oligomorphic structures
• 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
• The universal minimal flow of the homeomorphism group of the Lelek fan
• Virtual algebraic isomorphisms between predicate calculi of finite rich signatures
• Encoding hybridized institutions into first-order logic
• Recursive functions and existentially closed structures
• String orders in the Luttinger liquid phase of one-dimensional spin-1/2 systems
• Structure and Power: an Emerging Landscape
• Automorphism groups of countably categorical linear orders are extremely amenable
• The containment problem for unambiguous register automata
• Equations in oligomorphic clones and the constraint satisfaction problem for \(\omega \)-categorical structures
• Reducts of the random bipartite graph
• An algebraic view on p-admissible concrete domains for lightweight description logics
• Description logics with concrete domains and general concept inclusions revisited
• Using model theory to find decidable and tractable description logics with concrete domains
• Irreducibility of polynomials over global fields is diophantine
• Games and bisimulations for intuitionistic first-order Kripke models
• The wonderland of reflections
• A.D. Taimanov and model theory in Kazakhstan
• Disjunction and existence properties in inquisitive first-order logic
• Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems)
• Homogeneous bands
• Varieties of misrepresentation and homomorphism
• Automorphism invariant measures and weakly generic automorphisms
• Bases for structures and theories. I.
• Homogeneity of inverse semigroups
• Spectra of structures and relations
• On Turner's theorem and first-order theory
• First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories
• Tractability of quantified temporal constraints to the max
• Two first-order logics of permutations
• On Hierarchical Reasoning in Combinations of Theories
• Strict coherence of conditional rewriting modulo axioms
• Generic expansions of countable models
• Challenging epistemology: Interactive proofs and zero knowledge
• PROJECTIVE CLONE HOMOMORPHISMS
• Are there any good digraph width measures?
• Towards finite homomorphism-homogeneous relational structures
• Countable ultrahomogeneous antimatroids of convex dimension 2
• Quantifier rank for parity of embedded finite models.
• An infinite hierarchy of temporal logics over branching time
• Imaginaries in real closed valued fields
• Decisiveness of stochastic systems and its application to hybrid models
• Effective algebraicity
• Varieties of Pluralism and Objectivity in Mathematics
• Tractable combinations of temporal CSPs
• An algebraic approach to belief contraction and nonmonotonic entailment
• MAX-closed semilinear constraint satisfaction
• Topological 2-generation of automorphism groups of countable ultrahomogeneous graphs
• Preservation theorems for bounded formulas
• Universal locally finite maximally homogeneous semigroups and inverse semigroups
• Tropically convex constraint satisfaction
• On transitive subrelations of binary relations
• The embeddability ordering of topological spaces
• Polymorphism clones of homogeneous structures: generating sets, Sierpiński rank, cofinality and the Bergman property
• Fraïssé limits in comma categories
• Elimination theory for addition and the frobenius map in polynomial rings
• Exponential sums over definable subsets of finite fields
• 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
• THICKET DENSITY
• The degrees of categorical theories with recursive models
• Exercices de style: a homotopy theory for set theory
• Relative exchangeability with equivalence relations
• Spectra of theories and structures
• Automorphism groups of countable algebraically closed graphs and endomorphisms of the random graph
• Higher-order contingentism. III: Expressive limitations
• Games and Lindström theorems
• Fraïssé structures with universal automorphism groups
• Integration and cell decomposition in \(P\)-minimal structures

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)