Pages that link to "Item:Q1006602"
From MaRDI portal
The following pages link to The metamathematics of ergodic theory (Q1006602):
Displaying 10 items.
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- Realizing semicomputable simplices by computable dynamical systems (Q2676461) (← links)
- Randomness, Computation and Mathematics (Q2904405) (← links)
- Proof Theory in Philosophy of Mathematics (Q3160752) (← links)
- Nets and reverse mathematics (Q4995602) (← links)
- On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem (Q5028382) (← links)
- Quantitative ergodic theorems for weakly integrable functions (Q5415940) (← links)
- A constructive interpretation of Ramsey's theorem via the product of selection functions (Q5740680) (← links)
- SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT (Q6051422) (← links)
- Algorithmic economics: incomputability, undecidability and unsolvability in economics (Q6599288) (← links)