scientific article; zbMATH DE number 1007358
From MaRDI portal
Publication:4336034
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.
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)
- 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
- Descendant-homogeneous digraphs
- Local-global convergence, an analytic and structural approach
- Strongly polynomial sequences as interpretations
- On polymorphism-homogeneous relational structures and their clones.
- Classification of some countable descendant-homogeneous digraphs
- Reflexive digraphs with near unanimity polymorphisms
- Integrating Hasse-Schmidt derivations
- Automatic Continuity of Group Homomorphisms
- Weighted o-minimal hybrid systems
- Interpreting nowhere dense graph classes as a classical notion of model theory
- Definability and invariance
- Coding true arithmetic in the Medvedev and Muchnik degrees
- A note on extending actions of infinitesimal group schemes
- Permutations on the random permutation
- Non-dichotomies in Constraint Satisfaction Complexity
- On the automorphism group of homogeneous structures
- Complemented modular lattices with involution and orthogonal geometry
- The mathematical universe
- Modal ontology and generalized quantifiers
- Countable homogeneous lattices
- Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle
- Approximations of mappings
- And so on \dots : reasoning with infinite diagrams
- The index set of uncountably categorical theories
- Parallel interpolation, splitting, and relevance in belief change
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- Constraint Satisfaction Problems with Infinite Templates
- An initial study of time complexity in infinite-domain constraint satisfaction
- Minimal functions on the random graph
- The class of algebraically closed p-semilattices is finitely axiomatizable
- Reducts of the Henson graphs with a constant
- 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
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)
