scientific article; zbMATH DE number 1007358
From MaRDI portal
Publication:4336034
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.
Cited in
(only showing first 100 items - show all)- A game-theoretic approach to fault diagnosis and identification of hybrid systems
- First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories
- Beyond Erdős-Kunen-Mauldin: shift-compactness properties and singular sets
- Two first-order logics of permutations
- scientific article; zbMATH DE number 7453077 (Why is no real title available?)
- Strict coherence of conditional rewriting modulo axioms
- Generic expansions of countable models
- Tractability of quantified temporal constraints to the max
- A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic
- Ramsey degrees, labeled and unlabeled partitions
- Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems
- On Hierarchical Reasoning in Combinations of Theories
- Homomorphisms and chains of Kripke models
- Challenging epistemology: Interactive proofs and zero knowledge
- The class of polyadic algebras has the super amalgamation property
- On countably saturated linear orders and certain class of countably saturated graphs
- Are there any good digraph width measures?
- Automorphisms and strongly invariant relations
- New Ramsey classes from old
- GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC
- PROJECTIVE CLONE HOMOMORPHISMS
- Countable ultrahomogeneous antimatroids of convex dimension 2
- Quantifier rank for parity of embedded finite models.
- Computable structures in generic extensions
- Indexicals, context-sensitivity and the failure of implication
- Coding true arithmetic in the Medvedev degrees of ^0_1 classes
- Linear orderings and powers of characterizable cardinals
- Pumping for ordinal-automatic structures1
- Towards finite homomorphism-homogeneous relational structures
- An abstract decision procedure for satisfiability in the theory of recursive data types
- Dismantlability, connectedness, and mixing in relational structures
- On the descriptive complexity of temporal constraint satisfaction problems
- Constraint satisfaction and semilinear expansions of addition over the rationals and the reals
- Quantum measurements from a logical point of view
- Some preservation theorems in an intermediate logic
- Polyadic spaces and profinite monoids
- \(JSp\)-cosemanticness of \(R\)-modules
- Hintikka and the functions of logic
- scientific article; zbMATH DE number 2156367 (Why is no real title available?)
- An infinite hierarchy of temporal logics over branching time
- Hardness of Network Satisfaction for Relation Algebras with Normal Representations
- Imaginaries in real closed valued fields
- scientific article; zbMATH DE number 7536566 (Why is no real title available?)
- Computability-theoretic categoricity and Scott families
- Uniformly defining \(p\)-Henselian valuations
- The 116 reducts of (ℚ, <, a)
- Reconstructing the topology of clones
- On generalization of definitional equivalence to non-disjoint languages
- Countable homogeneous Steiner triple systems avoiding specified subsystems
- The property of being a model complete theory is preserved by Cartesian extensions
- Theories of initial segments of standard models of arithmetics and their complete extensions
- Uncountable graphs and invariant measures on the set of universal countable graphs
- Span, chainability and the continua \(\mathbb H^{\ast}\) and \(\mathbb I_{u}\)
- FINITE RELATION ALGEBRAS
- Logics for propositional contingentism
- Automatic synthesis of logical models for order-sorted first-order theories
- Homogeneous completely simple semigroups
- Decisiveness of stochastic systems and its application to hybrid models
- Computing and dominating the Ryll-Nardzewski function
- Effective algebraicity
- Games for inclusion logic and fixed-point logic
- Strongly first order, domain independent dependencies: the union-closed case
- Varieties of Pluralism and Objectivity in Mathematics
- The complexity of equality constraint languages
- Elementarity and dimensions
- Fixed-parameter tractable distances to sparse graph classes
- Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms
- Tractable combinations of temporal CSPs
- On dense, locally finite subgroups of the automorphism group of certain homogeneous structures
- Maximal infinite-valued constraint languages
- Homogeneous and strictly homogeneous criteria for partial structures
- An algebraic approach to belief contraction and nonmonotonic entailment
- Notes on local o-minimality
- Equivalence criteria for compositional IF modal logics
- Preservation theorems for bounded formulas
- Universal locally finite maximally homogeneous semigroups and inverse semigroups
- The 42 reducts of the random ordered graph
- The logic and topology of Kant's temporal continuum
- Odoni's conjecture on arboreal Galois representations is false
- Topological 2-generation of automorphism groups of countable ultrahomogeneous graphs
- The reducts of the homogeneous binary branching \(C\)-relation
- The gap-two cardinal problem for uncountable languages
- MAX-closed semilinear constraint satisfaction
- Tropically convex constraint satisfaction
- The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom
- Good-for-Game QPTL: An Alternating Hodges Semantics
- Jordan permutation groups and limits of \(D\)-relations
- On transitive subrelations of binary relations
- Hanf number for Scott sentences of computable structures
- The embeddability ordering of topological spaces
- Henselianity in the language of rings
- Varying interpolation and amalgamation in polyadic MV-algebras
- Twin paradox and the logical foundation of relativity theory
- Solving infinite-domain CSPs using the patchwork property
- Combining nonstably infinite theories
- Characterizing downwards closed, strongly first-order, relativizable dependencies
- Pseudo‐loop conditions
- Models of HoTT and the Constructive View of Theories
- The model theory of commutative near-vector spaces
- Towards a Ryll-Nardzewski-type theorem for weakly oligomorphic 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)
