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)

On inflationary fix-point operators safety ⋮ On the Bergman property. ⋮ Neostability-properties of Fraïssé limits of 2-nilpotent groups of exponent \(p>2\) ⋮ Metabelian groups: full-rank presentations, randomness and Diophantine problems ⋮ Priestley-type dualities for partially ordered structures ⋮ Algebraically closed and existentially closed abelian lattice-ordered groups ⋮ Entropy of formulas ⋮ On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry ⋮ Model-theoretic imaginaries and coherent sheaves ⋮ Cofinality spectrum problems: the axiomatic approach ⋮ Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems ⋮ Bi-simulating in bi-intuitionistic logic ⋮ Homogenizable structures and model completeness ⋮ A valuation ring analogue of von Neumann regularity ⋮ An Ehrenfeucht-Fraïssé game approach to collapse results in database theory ⋮ The incompleteness theorems after 70 years ⋮ Algorithmic uses of the Feferman-Vaught theorem ⋮ Preservation theorems and restricted consistency statements in bounded arithmetic ⋮ Vanishing of derived limits of non-standard inverse systems ⋮ Definability in the structure of words with the inclusion relation ⋮ \(\Sigma \)-definability of uncountable models of \(c\)-simple theories ⋮ Logic for physical space. From antiquity to present day ⋮ A comprehensive picture of the decidability of mereological theories ⋮ A process calculus with finitary comprehended terms ⋮ Automatic models of first order theories ⋮ An algebraic characterization of o-minimal and weakly o-minimal MV-chains ⋮ Extendability of automorphisms of generic substructures ⋮ Measurability in modules ⋮ Unary functions ⋮ Invariant measures via inverse limits of finite structures ⋮ Inversive meadows and divisive meadows ⋮ Unity in nominal equational reasoning: the algebra of equality on nominal sets ⋮ Completely representable lattices ⋮ Totally \(P\)-stable abelian groups ⋮ Groups elementarily equivalent to a free 2-nilpotent group of finite rank. ⋮ What's right with a syntactic approach to theories and models? ⋮ On complexity of Ehrenfeucht-Fraïssé games ⋮ Topological differential fields ⋮ Completeness for flat modal fixpoint logics ⋮ A decidability result for the model checking of infinite-state systems ⋮ Non-axiomatizability of real spectra in \(\mathcal L_{ \infty \lambda} \) ⋮ Spectral real semigroups ⋮ Some model-theoretic correspondences between dimension groups and AF algebras ⋮ Classifying singularities up to analytic extensions of scalars is smooth ⋮ Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry ⋮ On differentially closed ordered fields ⋮ New perspectives in algebraic logic, from neat embeddings to Erdős graphs ⋮ Characterization of NIP theories by ordered graph-indiscernibles ⋮ The metamathematics of Putnam's model-theoretic arguments ⋮ A dependent theory with few indiscernibles ⋮ On superstable CSA-groups ⋮ Generalized halfspaces in dimension groups ⋮ Graph components of prime spectra ⋮ Vertex partitions of metric spaces with finite distance sets ⋮ Random orderings and unique ergodicity of automorphism groups ⋮ Simplicity of some automorphism groups. ⋮ An extension of lazy abstraction with interpolation for programs with arrays ⋮ Valued difference fields and \(\mathrm{NTP}_2\) ⋮ Dependent \(T\) and existence of limit models ⋮ Non-universality of automorphism groups of uncountable ultrahomogeneous structures ⋮ Type extension trees for feature construction and learning in relational domains ⋮ The Thomsen-Bachmann correspondence in metric geometry. I ⋮ Positive primitive formulae of modules over rings of semi-algebraic functions on a curve ⋮ The meaning of specifications I: Domains and initial models ⋮ On non-forking spectra ⋮ Generic splitting for special groups ⋮ Algebraic and definable closure in free groups ⋮ Polish groups and Baire category methods ⋮ Computational complexity of determining which statements about causality hold in different space-time models ⋮ Model theory of finite and pseudofinite groups ⋮ Universal and homogeneous structures on the Urysohn and Gurarij spaces ⋮ The \(\aleph_{0}\)-categorical trees ⋮ All countable monoids embed into the monoid of the infinite random graph ⋮ Logic in representations of groups ⋮ Countable connected-homogeneous graphs ⋮ On central extensions and definably compact groups in o-minimal structures ⋮ Elements of model theory in higher-order fuzzy logic ⋮ Beth definability, interpolation and language splitting ⋮ A new spectrum of recursive models ⋮ On the algebra of structured specifications ⋮ Logical aspects of Cayley-graphs: the group case ⋮ Algebraic geometry over groups. III: Elements of model theory. ⋮ On \(*\)-orderable groups. ⋮ Characterising quotients of projective Fraïssé limits ⋮ Neat embeddings, omitting types, and interpolation: an overview ⋮ On Bellissima's construction of the finitely generated free Heyting algebras, and beyond ⋮ Some new results on decidability for elementary algebra and geometry ⋮ Generalising canonical extension to the categorical setting ⋮ A thread calculus with molecular dynamics ⋮ Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness ⋮ Distance structures for generalized metric spaces ⋮ Scott rank of Polish metric spaces ⋮ On the outer automorphism groups of free groups. ⋮ Isotyped algebras ⋮ Asymptotic probabilities of extension properties and random \(l\)-colourable structures ⋮ Ramsey properties of finite posets ⋮ Ramsey properties of finite posets. II ⋮ Definable combinatorics with dense linear orders ⋮ Simple structures axiomatized by almost sure theories ⋮ Finite presentation of homogeneous graphs, posets and Ramsey classes

This page was built for publication: