scientific article; zbMATH DE number 759545
From MaRDI portal
Publication:4834551
zbMath0819.03028MaRDI QIDQ4834551
Publication date: 28 June 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
topological closuregeneralized quantifiersGödel's incompleteness theoremweak modelscompact space of Henkin general modelsminimal compact semanticssubspace of standard models of second-order logic
Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Uniform structures and generalizations (54E15) Logic with extra quantifiers and operators (03C80) Second- and higher-order model theory (03C85)
This page was built for publication:
