Theory of models with generalized atomic formulas
From MaRDI portal
Cited in
(31)- Saturated models of incomplete theories
- Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry
- Forcing infinito generalizzato in teoria dei modelli
- The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5
- Model-theoretic imaginaries and coherent sheaves
- Formalization, primitive concepts, and purity
- On the weak definability in set theory
- A functional interpretation for nonstandard arithmetic
- scientific article; zbMATH DE number 3614984 (Why is no real title available?)
- Functorial implicit operations
- Quasi-axiomatic classes
- Harmonious logic: Craig's interpolation theorem and its descendants
- Nearly Model Complete Theories
- Existentially closed \(\mathrm{W}^*\)-probability spaces
- Unions of Relational Systems
- On simplicity of formulas
- Countable structures, Ehrenfeucht strategies, and Wadge reductions
- Amalgamation properties and interpolation theorems for equational theories
- Preservation theorems for limits of structures and global sections of sheaves of structures
- Distributive Cauchy lattices
- A generalization of the Łoś-Tarski preservation theorem
- A logical look at characterizations of geometric transformations under mild hypotheses
- Fondements de la logique positive
- Subdirect decomposability into irreducibles
- On some properties a projective model class passes on to the generated axiomatic class
- \(\Sigma\)-free models
- A generalization of Lyndon's theorem characterizing sentences preserved in subdirect products
- Some remarks concerning our paper „On the structure of set-mappings” —Non-existence of a two-valued σ-measure for the first uncountable inaccessible cardinal
- Proprieta metamatematiche di alcune classi di algebre
- Note on generalized atomic sets of formulas
- Reduced Products and Horn Classes
This page was built for publication: Theory of models with generalized atomic formulas
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3293397)