scientific article; zbMATH DE number 1007358
From MaRDI portal
zbMath0873.03036MaRDI QIDQ4336034
Publication date: 6 May 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Model theory (03Cxx)
Related Items
Topological 2-generation of automorphism groups of countable ultrahomogeneous graphs, Structure and Power: an Emerging Landscape, Imaginaries in real closed valued fields, A universality result for endomorphism monoids of some ultrahomogeneous structures, Unnamed Item, MEREOLOGICAL BIMODAL LOGICS, An algebraic approach to belief contraction and nonmonotonic entailment, Constraint Satisfaction Problems over the Integers with Successor, Fraïssé structures with universal automorphism groups, Automorphism groups of countably categorical linear orders are extremely amenable, Truth, dependence and supervaluation: living with the ghost, Henselianity in the language of rings, Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle, Formalizing adequacy: a case study for higher-order abstract syntax, Automorphism groups of generic structures: extreme amenability and amenability, Undirecting membership in models of anti-foundation, Fixed-parameter tractable distances to sparse graph classes, PAIRWISE NONISOMORPHIC MAXIMAL-CLOSED SUBGROUPS OF SYM(ℕ) VIA THE CLASSIFICATION OF THE REDUCTS OF THE HENSON DIGRAPHS, Ramsey equivalence, Varying interpolation and amalgamation in polyadic MV-algebras, Odoni’s conjecture on arboreal Galois representations is false, Hardness of Network Satisfaction for Relation Algebras with Normal Representations, Quantum Measurements from a Logical Point of View, The 42 reducts of the random ordered graph, The gap‐two cardinal problem for uncountable languages, First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories, Reconstructing the topology of clones, HOMOGENEOUS COMPLETELY SIMPLE SEMIGROUPS, Recursive functions and existentially closed structures, Non-dichotomies in Constraint Satisfaction Complexity, Polyadic spaces and profinite monoids, General lower bounds and improved algorithms for infinite-domain CSPs, THE REDUCTS OF THE HOMOGENEOUS BINARY BRANCHING C-RELATION, COMPUTABLE STRUCTURES IN GENERIC EXTENSIONS, INTEGRATION AND CELL DECOMPOSITION IN P-MINIMAL STRUCTURES, On Turner’s theorem and first-order theory, Interpreting nowhere dense graph classes as a classical notion of model theory, Unnamed Item, Unnamed Item, Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract), Approximations of Mappings, Definability and invariance, 𝜔-categorical structures avoiding height 1 identities, The universal minimal flow of the homeomorphism group of the Lelek fan, Irreducibility of polynomials over global fields is diophantine, THE LOGIC AND TOPOLOGY OF KANT’S TEMPORAL CONTINUUM, A CLASS OF FIELDS WITH A RESTRICTED MODEL COMPLETENESS PROPERTY, Solving equation systems in ω-categorical algebras, Combining Non-Stably Infinite Theories, Graphs defined on groups, Exponential sums over definable subsets of finite fields, The mathematical universe, Tractability of quantified temporal constraints to the max, A local normal form theorem for infinitary logic with unary quantifiers, Filling certain cuts in discrete weakly o-minimal structures, Unnamed Item, On complex exponentiation restricted to the integers, Unnamed Item, Formal language properties of hybrid systems with strong resets, The embeddability ordering of topological spaces, Uncountable graphs and invariant measures on the set of universal countable graphs, CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES, Twin paradox and the logical foundation of relativity theory, Unnamed Item, Homogeneity of inverse semigroups, Towards a Ryll-Nardzewski-type theorem for weakly oligomorphic structures, Schaefer's Theorem for Graphs, Pseudo‐loop conditions, The 116 reducts of (ℚ, <, a), Games for Inclusion Logic and Fixed-Point Logic, Computability of Fraïssé limits, Coding true arithmetic in the Medvedev and Muchnik degrees, On Interpolation and Symbol Elimination in Theory Extensions, Automatic Continuity of Group Homomorphisms, Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures, Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems), The Containment Problem for Unambiguous Register Automata, Local-global convergence, an analytic and structural approach, Equivalence Criteria for Compositional IF Modal Logics, Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems, Notes on local o-minimality, The class of polyadic algebras has the super amalgamation property, On transitive subrelations of binary relations, The degrees of categorical theories with recursive models, The probability nesting game, A Dichotomy for First-Order Reducts of Unary Structures, PROJECTIVE CLONE HOMOMORPHISMS, THICKET DENSITY, Dialectical Contradictions and Classical Formal Logic, Unnamed Item, Unnamed Item, Spectra of structures and relations, Upward Morley's theorem downward, Elementarity and dimensions, An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types, Unnamed Item, ON THE AUTOMORPHISM GROUP OF THE UNIVERSAL HOMOGENEOUS MEET-TREE, Refinement in hybridised institutions, Logarithms, constructible functions and integration on non-archimedean models of the theory of the real field with restricted analytic functions with value group of finite archimedean rank, LOGICS FOR PROPOSITIONAL CONTINGENTISM, GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC, Pumping for ordinal-automatic structures1, Elimination theory for addition and the frobenius map in polynomial rings, Games and Lindström theorems, Polish topologies on endomorphism monoids of relational structures, Ranks based on strong amalgamation Fraïssé classes, Unnamed Item, Models of HoTT and the Constructive View of Theories, Varieties of Pluralism and Objectivity in Mathematics, MODEL THEORY OF GALOIS ACTIONS OF TORSION ABELIAN GROUPS, Automorphism invariant measures and weakly generic automorphisms, ON COHESIVE POWERS OF LINEAR ORDERS, DISTALITY RANK, FINITE RELATION ALGEBRAS, Characterisations of ${\varSigma }$-pure-injectivity in triangulated categories and applications to endocoperfect objects, The model theory of commutative near-vector spaces, Existential relations on infinite structures, \((\mathbb{Z},\mathrm{succ},U)\), \((\mathbb{Z},E,U)\), and their CSP's, Models of Bounded Arithmetic Theories and Some Related Complexity Questions, Automorphisms and strongly invariant relations, Solving infinite-domain CSPs using the patchwork property, Strongly first order, domain independent dependencies: the union-closed case, Automorphism groups of countable algebraically closed graphs and endomorphisms of the random graph, Transfer theorems for finitely subdirectly irreducible algebras, Discrete quantum structures. I: Quantum predicate logic, Nondiversity in substructures, Parallel interpolation, splitting, and relevance in belief change, Applications of Kolmogorov complexity to computable model theory, Max-Closed Semilinear Constraint Satisfaction, Encoding hybridized institutions into first-order logic, On Hierarchical Reasoning in Combinations of Theories, WQO dichotomy for 3-graphs, Some preservation theorems in an intermediate logic, Spectra of theories and structures, Constraint Satisfaction Problems with Infinite Templates, On the automorphism group of homogeneous structures, The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom, Good-for-Game QPTL: An Alternating Hodges Semantics, MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS, A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic, Ramsey degrees, labeled and unlabeled partitions, Constraint satisfaction and semilinear expansions of addition over the rationals and the reals, Jordan permutation groups and limits of \(D\)-relations, Tropically convex constraint satisfaction, Virtual algebraic isomorphisms between predicate calculi of finite rich signatures, Combining nonstably infinite theories, The \(K\)-theory of assemblers, A counterexample to the reconstruction of \(\omega\)-categorical structures from their endomorphism monoid, Strongly polynomial sequences as interpretations, String orders in the Luttinger liquid phase of one-dimensional spin-1/2 systems, On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions, Polymorphism clones of homogeneous structures: generating sets, Sierpiński rank, cofinality and the Bergman property, Automatic synthesis of logical models for order-sorted first-order theories, Fraïssé limits in comma categories, Preservation theorems for bounded formulas, Relative exchangeability with equivalence relations, Higher-order contingentism. III: Expressive limitations, Modal ontology and generalized quantifiers, And so on \dots : reasoning with infinite diagrams, The index set of uncountably categorical theories, The class of algebraically closed p-semilattices is finitely axiomatizable, Relativised homomorphism preservation at the finite level, A game-theoretic approach to fault diagnosis and identification of hybrid systems, Descendant-homogeneous digraphs, A note on extending actions of infinitesimal group schemes, Reducts of the random bipartite graph, Effective algebraicity, New Ramsey classes from old, Indexicals, context-sensitivity and the failure of implication, Linear orderings and powers of characterizable cardinals, Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes, Multi-sorted logic and logical geometry: some problems., Are there any good digraph width measures?, Quantifier rank for parity of embedded finite models., Countable ultrahomogeneous antimatroids of convex dimension 2, Bases for structures and theories. I., The classification of homomorphism homogeneous tournaments, Reducts of the generic digraph, Symmetries and the philosophy of language, Weighted o-minimal hybrid systems, Varieties of misrepresentation and homomorphism, Homogeneous bands, Reflexive digraphs with near unanimity polymorphisms, The wonderland of reflections, Countable homogeneous linearly ordered posets, Asymptotic classes of finite Moufang polygons, The property of being a model complete theory is preserved by Cartesian extensions, Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information, Lelek's problem is not a metric problem, Reducts of the random partial order, Endolocality meets homomorphism-homogeneity: A new approach in the study of relational algebras, On countably saturated linear orders and certain class of countably saturated graphs, Dismantlability, connectedness, and mixing in relational structures, The complexity of equality constraint languages, Integrating Hasse-Schmidt derivations, Physical limits of inference, Countable homogeneous Steiner triple systems avoiding specified subsystems, Permutations on the random permutation, Computability-theoretic categoricity and Scott families, Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms, An initial study of time complexity in infinite-domain constraint satisfaction, Strict coherence of conditional rewriting modulo axioms, Fraïssé and Ramsey properties of Fréchet spaces, Challenging epistemology: Interactive proofs and zero knowledge, Reducts of the Henson graphs with a constant, Beyond Erdős-Kunen-Mauldin: shift-compactness properties and singular sets, Hanf number for Scott sentences of computable structures, Generic expansions of countable models, Homomorphisms and chains of Kripke models, On polymorphism-homogeneous relational structures and their clones., 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}\), Minimal functions on the random graph, Limit groups as limits of free groups., Disjunction and existence properties in inquisitive first-order logic, Universal locally finite maximally homogeneous semigroups and inverse semigroups, Two first-order logics of permutations, Maximal infinite-valued constraint languages, An algebraic view on p-admissible concrete domains for lightweight description logics, A.D. Taimanov and model theory in Kazakhstan, Games and bisimulations for intuitionistic first-order Kripke models, Homogeneous and strictly homogeneous criteria for partial structures, Classification of some countable descendant-homogeneous digraphs, On generalization of definitional equivalence to non-disjoint languages, The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one, Peek arc consistency, Unprovability results for clause set cycles, Complemented modular lattices with involution and orthogonal geometry, \(JSp\)-cosemanticness of \(R\)-modules, Using model theory to find decidable and tractable description logics with concrete domains, Hintikka and the functions of logic, Description logics with concrete domains and general concept inclusions revisited, An infinite hierarchy of temporal logics over branching time, Computing and dominating the Ryll-Nardzewski function, Uniformly defining \(p\)-Henselian valuations, Decisiveness of stochastic systems and its application to hybrid models, Countable homogeneous lattices, An incremental algorithm for DLO quantifier elimination via constraint propagation, Distance constraint satisfaction problems