scientific article; zbMATH DE number 3253161

zbMath0157.33401MaRDI QIDQ5539743

Georg Kreisel

Publication date: 1968

Full work available at URL: http://www.numdam.org/item?id=CM_1968__20__222_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items

A classical view of the intuitionistic continuum, Realizing Brouwer's sequences, Indeterminism in physics and intuitionistic mathematics, Brouwer's constructivism, A very strong intuitionistic theory, Unnamed Item, Analyzing realizability by Troelstra's methods, The creating subject, the Brouwer-Kripke schema, and infinite proofs, A hierarchy of Brouwer constructive functionals, The theory of empirical sequences, Informal theory of choice sequences, Sheaf models for choice sequences, Formally computing with the non-computable

Cites Work

• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• A remark on free choice sequences and the topological completeness proofs
• Formal systems for some branches of intuitionistic analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item