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)

• 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
• Reducts of the generic digraph
• Symmetries and the philosophy of language
• MODEL THEORY OF GALOIS ACTIONS OF TORSION ABELIAN GROUPS
• Computability of Fraïssé limits
• Formalizing adequacy: a case study for higher-order abstract syntax
• The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one
• Peek arc consistency
• Asymptotic classes of finite Moufang polygons
• Unprovability results for clause set cycles
• Lelek's problem is not a metric problem
• Endolocality meets homomorphism-homogeneity: A new approach in the study of relational algebras
• Title not available (Why is that?)
• Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract)
• Physical limits of inference
• Refinement in hybridised institutions
• MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS
• A class of fields with a restricted model completeness property
• Graphs defined on groups
• Existential relations on infinite structures
• Solving equation systems in ω-categorical algebras
• Applications of Kolmogorov complexity to computable model theory
• An incremental algorithm for DLO quantifier elimination via constraint propagation
• A game-theoretic approach to fault diagnosis and identification of hybrid systems
• The class of polyadic algebras has the super amalgamation property
• Homomorphisms and chains of Kripke models
• A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic
• Ramsey degrees, labeled and unlabeled partitions
• Pumping for ordinal-automatic structures1
• Computable structures in generic extensions
• New Ramsey classes from old
• Quantum measurements from a logical point of view
• Some preservation theorems in an intermediate logic
• Indexicals, context-sensitivity and the failure of implication
• Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes
• Linear orderings and powers of characterizable cardinals
• Title not available (Why is that?)
• Constraint satisfaction and semilinear expansions of addition over the rationals and the reals
• The 116 reducts of (ℚ, <, a)
• Uniformly defining \(p\)-Henselian valuations
• Reconstructing the topology of clones
• FINITE RELATION ALGEBRAS
• Uncountable graphs and invariant measures on the set of universal countable graphs
• Theories of initial segments of standard models of arithmetics and their complete extensions
• Span, chainability and the continua \(\mathbb H^{\ast}\) and \(\mathbb I_{u}\)
• Automatic synthesis of logical models for order-sorted first-order theories
• Elementarity and dimensions
• Notes on local o-minimality
• The complexity of equality constraint languages
• Maximal infinite-valued constraint languages
• The 42 reducts of the random ordered graph
• Homogeneous and strictly homogeneous criteria for partial structures
• Twin paradox and the logical foundation of relativity theory
• A universality result for endomorphism monoids of some ultrahomogeneous structures
• Combining nonstably infinite theories
• MEREOLOGICAL BIMODAL LOGICS
• Limit groups as limits of free groups.
• Constraint satisfaction problems over the integers with successor

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)