scientific article; zbMATH DE number 3111916
From MaRDI portal
Publication:5850527
zbMATH Open0066.00902MaRDI QIDQ5850527FDOQ5850527
Authors: Gisbert Hasenjaeger, Abraham Robinson, Hao Wang, Leon Henkin, Jerzy Łoś, Georg Kreisel, Thoralf Skolem
Publication date: 1955
Title of this publication is not available (Why is that?)
Cited In (7)
- Omitting types for finite variable fragments and complete representations of algebras
- On the Axiom of Canonicity
- Categorical quantification
- Leon Henkin the reviewer
- The prehistory of the subsystems of second-order arithmetic
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS
- Existence of modeling limits for sequences of sparse structures
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)