Pages that link to "Item:Q3293397"

The following pages link to Theory of models with generalized atomic formulas (Q3293397):

Displaying 31 items.

• Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry (Q640271) (← links)
• A functional interpretation for nonstandard arithmetic (Q714729) (← links)
• On simplicity of formulas (Q757354) (← links)
• Distributive Cauchy lattices (Q793765) (← links)
• Model-theoretic imaginaries and coherent sheaves (Q843754) (← links)
• A generalization of the Łoś-Tarski preservation theorem (Q904143) (← links)
• Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
• Subdirect decomposability into irreducibles (Q1054756) (← links)
• \(\Sigma\)-free models (Q1215650) (← links)
• A generalization of Lyndon's theorem characterizing sentences preserved in subdirect products (Q1219880) (← links)
• Amalgamation properties and interpolation theorems for equational theories (Q1224578) (← links)
• Forcing infinito generalizzato in teoria dei modelli (Q1246529) (← links)
• Preservation theorems for limits of structures and global sections of sheaves of structures (Q1247423) (← links)
• Existentially closed \(\mathrm{W}^*\)-probability spaces (Q2152856) (← links)
• Proprieta metamatematiche di alcune classi di algebre (Q2557274) (← links)
• Functorial implicit operations (Q2562080) (← links)
• On the weak definability in set theory (Q3289000) (← links)
• Countable structures, Ehrenfeucht strategies, and Wadge reductions (Q3984409) (← links)
• Quasi-axiomatic classes (Q4097275) (← links)
• (Q4179158) (← links)
• Nearly Model Complete Theories (Q4264529) (← links)
• Note on generalized atomic sets of formulas (Q4401434) (← links)
• Saturated models of incomplete theories (Q4767311) (← links)
• On some properties a projective model class passes on to the generated axiomatic class (Q4774040) (← links)
• FORMALIZATION, PRIMITIVE CONCEPTS, AND PURITY (Q4918380) (← links)
• Some remarks concerning our paper „On the structure of set-mappings” —Non-existence of a two-valued σ-measure for the first uncountable inaccessible cardinal (Q5344182) (← links)
• Fondements de la logique positive (Q5444691) (← links)
• Unions of Relational Systems (Q5596750) (← links)
• Reduced Products and Horn Classes (Q5596751) (← links)
• A logical look at characterizations of geometric transformations under mild hypotheses (Q5935915) (← links)
• The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5 (Q6561358) (← links)