scientific article; zbMATH DE number 3250593

MaRDI QIDQ5537410zbMATH OpenFDO

Authors Lars Svenonius

Publication date 1965

zbMATH Keywords

set theory

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited in

(5)

• The Craig interpolation theorem in abstract model theory
• Game sentences and ultrapowers
• Axiomatizing first-order consequences in dependence logic
• A unifying approach to theorems on preservation and interpolation for binary relations between structures
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5537410)