A non-standard construction of Haar measure and weak König's lemma

DOI10.2307/2586530zbMath0949.03056OpenAlexW2128167204WikidataQ124940154 ScholiaQ124940154MaRDI QIDQ4953213

Takeshi Yamazaki, Kazuyuki Tanaka

Publication date: 22 June 2000

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586530

zbMATH Keywords

proof theoryHaar measurereverse mathematicsweak König's lemmasecond-order arithmetic

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Models of arithmetic and set theory (03C62) Second- and higher-order arithmetic and fragments (03F35) Nonstandard models in mathematics (03H05) Constructive operator theory (47S30) Constructive functional analysis (46S30)

Related Items (4)

Nonstandard second-order arithmetic and Riemann's mapping theorem ⋮ The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic ⋮ Tanaka's theorem revisited ⋮ Unnamed Item

Cites Work

• Unnamed Item
• The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
• Fixed point theory in weak second-order arithmetic
• Riesz representation theorem, Borel measures and subsystems of second- order arithmetic
• Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
• Measure theory and weak König's lemma
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
• Non‐standard Analysis in WKL₀
• On a non‐standard construction of haar measure

This page was built for publication: A non-standard construction of Haar measure and weak König's lemma