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 (15)

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 ⋮ Relational quantum mechanics and intuitionistic mathematics ⋮ Real numbers are the hidden variables of classical mechanics ⋮ 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

This page was built for publication: