scientific article; zbMATH DE number 3253161

zbMATH Open0157.33401MaRDI QIDQ5539743FDOQ5539743

Authors: Georg Kreisel 

Publication date: 1968

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

Title of this publication is not available (Why is that?)

Recommendations

• Publication:4939616
• More about relatively lawless sequences
• scientific article; zbMATH DE number 3028354
• Irrational sequences of rational numbers
• Sequences of numbers involved in unsolved problems
• scientific article; zbMATH DE number 1154148
• The pure numbers generated by the Collatz sequence
• Sequences in countable nonstandard models of the natural numbers
• scientific article
• An Undecidable Permutation of the Natural Numbers

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Title not available (Why is that?)
• Formal systems for some branches of intuitionistic analysis
• A remark on free choice sequences and the topological completeness proofs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (15)

• A hierarchy of Brouwer constructive functionals
• Formally computing with the non-computable
• Title not available (Why is that?)
• Informal theory of choice sequences
• Relational quantum mechanics and intuitionistic mathematics
• Real numbers are the hidden variables of classical mechanics
• The creating subject, the Brouwer-Kripke schema, and infinite proofs
• Analyzing realizability by Troelstra's methods
• Sheaf models for choice sequences
• Realizing Brouwer's sequences
• A classical view of the intuitionistic continuum
• A very strong intuitionistic theory
• Indeterminism in physics and intuitionistic mathematics
• Brouwer's constructivism
• The theory of empirical sequences

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5539743)