A remark on free choice sequences and the topological completeness proofs
- 1 December 1958
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 23 (4) , 369-388
- https://doi.org/10.2307/2964012
Abstract
A remark on free choice sequences and the topological completeness proofs - Volume 23 Issue 4 - G. KreiselKeywords
This publication has 7 references indexed in Scilit:
- Intuitionism. An Introduction. By A. Heyting. Pp. viii +132. 24s. 1956 (North Holland Publishing Company, Amsterdam)The Mathematical Gazette, 1957
- On existential theorems in non-classical functional calculiFundamenta Mathematicae, 1955
- A formula with no recursively enumerable modelFundamenta Mathematicae, 1955
- On a system of axioms which has no recursively enumerable arithmetic modelFundamenta Mathematicae, 1953
- Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus IIPublished by Philosophy Documentation Center ,1953
- Note on arithmetic models for consistent formulae of the predicate calculusFundamenta Mathematicae, 1950
- Der Aussagenkalkül und die TopologieFundamenta Mathematicae, 1938