Theory of models with generalized atomic formulas
From MaRDI portal
Publication:3293397
DOI10.2307/2964333zbMath0107.00803OpenAlexW2046731118MaRDI QIDQ3293397
Publication date: 1960
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2964333
Related Items (30)
Nearly Model Complete Theories ⋮ Model-theoretic imaginaries and coherent sheaves ⋮ Countable structures, Ehrenfeucht strategies, and Wadge reductions ⋮ Existentially closed \(\mathrm{W}^*\)-probability spaces ⋮ Some remarks concerning our paper „On the structure of set-mappings” —Non-existence of a two-valued σ-measure for the first uncountable inaccessible cardinal ⋮ Unnamed Item ⋮ A generalization of the Łoś-Tarski preservation theorem ⋮ Reduced Products and Horn Classes ⋮ Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry ⋮ Unions of Relational Systems ⋮ On the weak definability in set theory ⋮ Quasi-axiomatic classes ⋮ FORMALIZATION, PRIMITIVE CONCEPTS, AND PURITY ⋮ A logical look at characterizations of geometric transformations under mild hypotheses ⋮ \(\Sigma\)-free models ⋮ Note on generalized atomic sets of formulas ⋮ A generalization of Lyndon's theorem characterizing sentences preserved in subdirect products ⋮ Amalgamation properties and interpolation theorems for equational theories ⋮ A functional interpretation for nonstandard arithmetic ⋮ Fondements de la logique positive ⋮ Forcing infinito generalizzato in teoria dei modelli ⋮ Preservation theorems for limits of structures and global sections of sheaves of structures ⋮ Harmonious logic: Craig's interpolation theorem and its descendants ⋮ On simplicity of formulas ⋮ Proprieta metamatematiche di alcune classi di algebre ⋮ Functorial implicit operations ⋮ Subdirect decomposability into irreducibles ⋮ Distributive Cauchy lattices ⋮ Saturated models of incomplete theories ⋮ On some properties a projective model class passes on to the generated axiomatic class
Cites Work
This page was built for publication: Theory of models with generalized atomic formulas
