scientific article; zbMATH DE number 3111916

MaRDI QIDQ5850527zbMATH OpenFDO

Authors Gisbert Hasenjaeger, Abraham Robinson, Hao Wang, Leon Henkin, Jerzy Łoś, Georg Kreisel, Thoralf Skolem

Publication date 1955

zbMATH Keywords

philosophy and foundations of mathematics

Cited in

(7)

• Existence of modeling limits for sequences of sparse structures
• On the Axiom of Canonicity
• Leon Henkin the reviewer
• Omitting types for finite variable fragments and complete representations of algebras
• Categorical quantification
• The prehistory of the subsystems of second-order arithmetic
• INCOMPLETENESS VIA PARADOX AND COMPLETENESS

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