Measure theory and weak König's lemma

From MaRDI portal
Publication:2639061

DOI10.1007/BF01621469zbMath0718.03043WikidataQ124830838 ScholiaQ124830838MaRDI QIDQ2639061

Xiaokang Yu, Stephen G. Simpson

Publication date: 1990

Published in: Archive for Mathematical Logic (Search for Journal in Brave)




Related Items (35)

1998 European Summer Meeting of the Association for Symbolic LogicMeasure theory and higher order arithmeticRefining the taming of the reverse mathematics zooOpen Questions in Reverse MathematicsReverse mathematical bounds for the termination theoremAlmost everywhere dominationComplex analysis in subsystems of second order arithmeticProgram extraction for 2-random realsRealizability Models Separating Various Fan TheoremsA study of singular points and supports of measures in reverse mathematicsNonstandard second-order arithmetic and Riemann's mapping theoremTo be or not to be constructive, that is not the questionRANDOMNESS NOTIONS AND REVERSE MATHEMATICSMixed Nash equilibria for continuous games and reverse mathematicsSeparating principles belowA measure-theoretic proof of Turing incomparabilityUnnamed ItemSEPARATING FRAGMENTS OF WLEM, LPO, AND MPThe Dirac delta function in two settings of reverse mathematicsSubsystems of second-order arithmetic between \(\text{RCA}_{0}\) and \(\text{WKL}_{0}\)On the logical strengths of partial solutions to mathematical problemsWhere pigeonhole principles meet Koenig lemmasRiesz representation theorem, Borel measures and subsystems of second- order arithmeticAlgorithmic randomness, reverse mathematics, and the dominated convergence theoremCOMPARING THE STRENGTH OF DIAGONALLY NONRECURSIVE FUNCTIONS IN THE ABSENCE OF INDUCTIONOn uniform relationships between combinatorial problemsA non-standard construction of Haar measure and weak König's lemmaCOMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONSMass Problems and Randomness10th Asian Logic ConferenceMass problems associated with effectively closed setsMass Problems and Measure-Theoretic RegularityUniform almost everywhere dominationThe strength of Ramsey’s theorem for pairs over trees: I. Weak König’s LemmaTHE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE



Cites Work


This page was built for publication: Measure theory and weak König's lemma