scientific article; zbMATH DE number 510786
From MaRDI portal
Publication:4281259
Recommendations
- A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES
- Iterated definability, lawless sequences, and Brouwer's continuum
- Relative lawlessness in intuitionistic analysis
- scientific article; zbMATH DE number 1078586
- scientific article; zbMATH DE number 4031683
- Computer Science Logic
- Decidability and Specker sequences in intuitionistic mathematics
- scientific article; zbMATH DE number 3941537
- Sequent calculus proof theory of intuitionistic apartness and order relations
- Constructive mathematics, Church's thesis, and free choice sequences
Cited in
(11)- A classical view of the intuitionistic continuum
- Realizing Brouwer's sequences
- Formally computing with the non-computable
- Sequential theories and infinite distributivity in the lattice of chapters
- More about relatively lawless sequences
- Kolmogorov complexity in perspective. I: Information theory and randomness
- Computer Science Logic
- Analyzing realizability by Troelstra's methods
- \(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity
- Open bar -- a Brouwerian intuitionistic logic with a pinch of excluded middle
- Separating Markov's principles
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 Q4281259)
