Remarks in abstract model theory
From MaRDI portal
Publication:1080418
DOI10.1016/0168-0072(85)90002-8zbMath0599.03037MaRDI QIDQ1080418
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
interpolation; compactness; amalgamation; abstract logic; Beth definability property; stationary logic; cofinality quantifiers; Beth closures; occurrence numbers; pair preservation property
03C80: Logic with extra quantifiers and operators
03C40: Interpolation, preservation, definability
03C55: Set-theoretic model theory
03C95: Abstract model theory
Related Items