Remarks in abstract model theory

DOI10.1016/0168-0072(85)90002-8zbMath0599.03037OpenAlexW2002354590WikidataQ127441804 ScholiaQ127441804MaRDI QIDQ1080418

Saharon Shelah

Publication date: 1985

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(85)90002-8

zbMATH Keywords

interpolationcompactnessamalgamationabstract logicBeth definability propertystationary logiccofinality quantifiersBeth closuresoccurrence numberspair preservation property

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40) Set-theoretic model theory (03C55) Abstract model theory (03C95)

Related Items (10)

There are reasonably nice logics ⋮ The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics ⋮ On the homogeneity property for certain quantifier logics ⋮ Definability and automorphisms in abstract logics ⋮ Barwise: Abstract Model Theory and Generalized Quantifiers ⋮ Model theory without choice? Categoricity ⋮ Harmonious logic: Craig's interpolation theorem and its descendants ⋮ The Craig interpolation theorem in abstract model theory ⋮ Definability properties and the congruence closure ⋮ Nice infinitary logics

Cites Work

• Unnamed Item
• Unnamed Item
• Models with second order properties. IV. A general method and eliminating diamonds
• Positive results in abstract model theory: a theory of compact logics
• More on powers of singular cardinals
• Proper forcing
• Decomposing uncountable squares to countably many chains
• A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals
• Classification theory and the number of non-isomorphic models
• Stationary logic and its friends. I
• Stationary logic and its friends. II
• The Hanf number of stationary logic
• Two cardinal compactness
• Beth's theorem in cardinality logics
• Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin
• Stationary logic of finitely determinate structures
• A correction to “stationary logic”
• The theorems of beth and Craig in abstract model theory II. Compact logics
• Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
• Generalized Quantifiers and Compact Logic
• Two notes on abstract model theory. II. Languages for which, the set of valid sentences is semi-invariantly implicitly definable
• δ-Logics and generalized quantifiers
• Models with second order properties I. Boolean algebras with no definable automorphisms
• Models with second order properties II. Trees with no undefined branches
• On models with power-like orderings

This page was built for publication: Remarks in abstract model theory