×

zbMATH — the first resource for mathematics

A remark on free choice sequences and the topological completeness proofs. (English) Zbl 0091.01101

PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Fundamenta mathematicae 31 pp 103– (1938)
[2] Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde 19 pp 357– (1956)
[3] Fundamenta mathematicae 41 pp 87– (1954)
[4] Arithmetic models for consistent formulae of quantification theory 22 pp 110– (1957)
[5] Fundamenta mathematicae 42 pp 125– (1955)
[6] Fundamenta mathematicae 40 pp 58– (1953)
[7] Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae 23 pp 317–
[8] Summaries of talks presented at the Summer Institute of Symbolic Logic in 1957 at Cornell University pp 125– (1957)
[9] Proceedings of XIth International Congress of Philosophy 14 pp 39– (1953)
[10] Fundamenta mathematicae 37 pp 265– (1950)
[11] Summaries of talks presented at the Summer Institute of Symbolic in 1957 at Cornell University pp 100– (1957)
[12] Indagationes mathematicae 12 pp 244– (1950)
[13] Grundlagen der Mathematik 2 pp 498– (1939) · JFM 65.0021.02
[14] Intuitionism, An introduction pp 133– (1956)
[15] Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-Mathematische Klasse pp 57– (1930)
[16] Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-Mathematische Klasse pp 42– (1930)
[17] Ergebnisse eines mathetnatischen Kolloquiums pp 34– (1932)
[18] Summaries of talks presented at the Summer Institute of Symbolic Logic in 1957 at Cornell University pp 231– (1957)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.