( en | de | ru )

 

Disambiguation of "Berger, Josef"

Author of the publication

copydeleteadd this publication to your clipboard
A predicative completion of a uniform space.

, , , and . Ann. Pure Appl. Log., 163 (8): 975-980 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Josef Berger

Josef Berger

Josef Berger

Josef Berger

Josef Berger

 

Other publications of authors with the same name

The Logical Strength of the Uniform Continuity Theorem.. CiE, volume 3988 of Lecture Notes in Computer Science, page 35-39. Springer, (2006)Double sequences, almost Cauchyness and BD-N., , and . Logic Journal of the IGPL, 20 (1): 349-354 (2012)Rearranging Series Constructively., and . J. Univers. Comput. Sci., 15 (17): 3160-3168 (2009)A Constructive Study of Landau's Summability Theorem., and . J. Univers. Comput. Sci., 16 (18): 2523-2534 (2010)The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent Choice., , and . Reports Math. Log., (2012)The binary expansion and the intermediate value theorem in constructive reverse mathematics., , , and . Arch. Math. Log., 58 (1-2): 203-217 (2019)Convexity and constructive infima., and . Arch. Math. Log., 55 (7-8): 873-881 (2016)A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle., and . Ann. Pure Appl. Log., 167 (11): 1161-1170 (2016)A Constructive Study of Landau's Summability Theorem., and . CCA, volume 11 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2009)The Fan Theorem and Uniform Continuity.. CiE, volume 3526 of Lecture Notes in Computer Science, page 18-22. Springer, (2005)