scientific article; zbMATH DE number 3253161
From MaRDI portal
Publication:5539743
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
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)