scientific article; zbMATH DE number 3329887

MaRDI QIDQ5607980zbMATH OpenFDO

Authors H. Jerome Keisler

Publication date 1965

Mathematics Subject Classification ID

Other infinitary logic (03C75)

Cited in

(8)

• The Craig interpolation theorem in abstract model theory
• Game sentences and ultrapowers
• Independence in randomizations
• Some applications of infinitely long formulas
• \(L_{\omega \omega }, L_{\omega_1\omega }\), and the Wadge hierarchy
• The Borel complexity of the class of models of first-order theories
• A generalization of the Łoś-Tarski preservation theorem
• Parametrization over inductive relations of a bounded number of variables

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 Q5607980)