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
• 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
• Countable homogeneous linearly ordered posets
• Truth, dependence and supervaluation: living with the ghost
• Multi-sorted logic and logical geometry: some problems.
• On complex exponentiation restricted to the integers
• Combining non-stably infinite theories
• Reducts of the random partial order
• The \(K\)-theory of assemblers
• Fraïssé and Ramsey properties of Fréchet spaces

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)