scientific article

Publication date: 23 January 1993

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 (only showing first 100 items - show all)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On the Complexity of the Model Checking Problem ⋮ Extension Properties of Boolean Contact Algebras ⋮ Non-genericity phenomena in ordered Fraïssé classes ⋮ Unnamed Item ⋮ ABSTRACT ω-LIMIT SETS ⋮ Chains of theories and companionability ⋮ Faithfully quadratic rings ⋮ On the definition of the small index property ⋮ Reasoning About Strategies ⋮ On the consistency problem for modular lattices and related structures ⋮ On countable fractions from an elementary class ⋮ Weak Fraisse categories ⋮ Countable infinite existentially closed models of universally axiomatizable theories ⋮ Reconstructing the topology of clones ⋮ Inference Processes for Quantified Predicate Knowledge ⋮ RETRACTIONS OF REVERSIBLE STRUCTURES ⋮ INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY ⋮ When is the orbit algebra of a group an integral domain ? Proof of a conjecture of P.J. Cameron ⋮ Many Facets of Dualities ⋮ Unnamed Item ⋮ Action of endomorphism semigroups on definable sets ⋮ Characterization of finitely generated groups by types ⋮ Encoding Monomorphic and Polymorphic Types ⋮ Andrzej Mostowski and the Notion of a Model ⋮ Notes on models of first-order mereological theories ⋮ Unnamed Item ⋮ Constraint Satisfaction Problems over Numeric Domains ⋮ AMALGAMABLE DIAGRAM SHAPES ⋮ Well-Quasi Orders and Hierarchy Theory ⋮ Approximations of Mappings ⋮ Some Remarks on dp-Minimal Groups ⋮ The structure of random automorphisms of the rational numbers ⋮ Strict Mittag-Leffler modules and purely generated classes ⋮ Elementary equivalence in Artin groups of finite type ⋮ Dimension in the realm of transseries ⋮ On the strength of some topological lattices ⋮ Unnamed Item ⋮ HILBERT, DUALITY, AND THE GEOMETRICAL ROOTS OF MODEL THEORY ⋮ DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS ⋮ Model theory and diophantine geometry ⋮ Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior ⋮ BOREL FUNCTORS AND INFINITARY INTERPRETATIONS ⋮ ON CONSTRAINTS AND DIVIDING IN TERNARY HOMOGENEOUS STRUCTURES ⋮ An improved lower bound for the elementary theories of trees ⋮ Definable linear orders definably embed into lexicographic orders in o-minimal structures ⋮ Embedding jump upper semilattices into the Turing degrees ⋮ An application of Kochen's theorem ⋮ Ample Dividing ⋮ Polish group actions: Dichotomies and generalized elementary embeddings ⋮ Infinite finitely generated fields are biinterpretable with ℕ ⋮ Infinite products of finite simple groups ⋮ Structural Ramsey theory of metric spaces and topological dynamics of isometry groups ⋮ Meromorphic groups ⋮ Homogeneity of inverse semigroups ⋮ AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS ⋮ THE COMPLEXITY OF TOPOLOGICAL GROUP ISOMORPHISM ⋮ Analytic $p$-adic cell decomposition and integrals ⋮ Model theory of proalgebraic groups ⋮ On the linearity of torsion-free nilpotent groups of finite Morley rank ⋮ Projective Fraïssé limits and the pseudo-arc ⋮ Model theory of 𝐶*-algebras ⋮ Automorphism groups of finite topological rank ⋮ Definable additive categories: purity and model theory ⋮ Recursive axiomatizations for representable posets ⋮ Relational exchangeability ⋮ A nonstandard Riemann existence theorem ⋮ Definability in the Infix Order on Words ⋮ Exploring Extensions of Possibilistic Logic over Gödel Logic ⋮ Countable random 𝑝-groups with prescribed Ulm-invariants ⋮ AN AXIOMATIC APPROACH TO FREE AMALGAMATION ⋮ The shape of congruence lattices ⋮ The Compositional Method and Regular Reachability ⋮ Where Automatic Structures Benefit from Weighted Automata ⋮ The uncountable cofinality of the automorphism group of the countable universal distributive lattice ⋮ Omitting types for algebraizable extensions of first order logic ⋮ Galois groups as quotients of Polish groups ⋮ Models of true arithmetic are integer parts of models of real exponentation ⋮ A descriptive Main Gap Theorem ⋮ Unnamed Item ⋮ A New Perspective on the Mereotopology of RCC8. ⋮ Diophantine problems in solvable groups ⋮ Geometric grid classes of permutations ⋮ Schnorr randomness and the Lebesgue differentiation theorem ⋮ Biinterpretability up to double jump in the degrees below $\mathbf {0}^{\prime }$ ⋮ Simple algebraic and semialgebraic groups over real closed fields ⋮ Unnamed Item ⋮ VAUGHT’S CONJECTURE FOR ALMOST CHAINABLE THEORIES ⋮ RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES ⋮ WEAK CANONICAL BASES IN NSOP THEORIES ⋮ Stability theory, permutations of indiscernibles, and embedded finite models ⋮ Effectively dense Boolean algebras and their applications ⋮ Parallel Processes with Implicit Computational Capital ⋮ Exogenous Probabilistic Computation Tree Logic ⋮ IS A SPECTRUM OF A NON-DISINTEGRATED FLAT STRONGLY MINIMAL MODEL COMPLETE THEORY IN A LANGUAGE WITH FINITE SIGNATURE ⋮ The completeness of the isomorphism relation for countable Boolean algebras ⋮ FREE GROUPS AND AUTOMORPHISM GROUPS OF INFINITE STRUCTURES ⋮ A non-standard proof of the Briançon-Skoda theorem

This page was built for publication: