Annals of Mathematical Logic · 1977 · 40 citations · 8 references
Natural SciencesComputer ScienceMathematicsSet TheoryTheory Of ComputationTopologyComputational TopologyGeneral TopologyMetrization TheoremsModel TheoryTopological ModelingTopological SpacesCompletenessMetrizability TheoremsModel Completeness
8
On a generalization of quantifiers
Andrzej Mostowski · Fundamenta Mathematicae · 1957 · 688 citations · Full text
The completeness of the first-order functional calculus
Leon Henkin · Journal of Symbolic Logic · 1949 · 537 citations
Logic with the quantifier “there exist uncountably many”
H. Jerome Keisler · Annals of Mathematical Logic · 1970 · 272 citations
Humanities, Mathematics, Logic +10
Languages with Expressions of Infinite Length.
Erwin Engeler, Carol R. Karp · American Mathematical Monthly · 1966 · 174 citations