A remark on free choice sequences and the topological completeness proofs

DOI10.2307/2964012zbMath0091.01101OpenAlexW2027756991MaRDI QIDQ3265662

Georg Kreisel

Publication date: 1959

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2964012

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

Paraconsistent metatheory: new proofs with old tools ⋮ Realizing Brouwer's sequences ⋮ Hermann Weyl's Intuitionistic Mathematics ⋮ Unnamed Item ⋮ A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms ⋮ Reflexive intermediate propositional logics ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ Sheaf models for choice sequences