Josef Berger - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2025

Constructive aspects of Riemann's permutation theorem for seriesJosef Berger, Douglas S. Bridges, Hannes Diener, Helmut Schwichtenberg. igpl, 33(1):49-61, 2025. [doi]

2022

On Farkas' lemma and related propositions in BISHJosef Berger, Gregor Svindland. APAL, 173(2):103059, 2022. [doi]

2019

Convexity and unique minimum pointsJosef Berger, Gregor Svindland. AML, 58(1-2):27-34, 2019. [doi]

The binary expansion and the intermediate value theorem in constructive reverse mathematicsJosef Berger, Hajime Ishihara, Takayuki Kihara, Takako Nemoto. AML, 58(1-2):203-217, 2019. [doi]

2018

Brouwer's Fan Theorem and convexityJosef Berger, Gregor Svindland. JSYML, 83(4):1363-1375, 2018. [doi]

2017

A bound for Dickson's lemmaJosef Berger, Helmut Schwichtenberg. lmcs, 13(3), 2017. [doi]

2016

A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principleJosef Berger, Gregor Svindland. APAL, 167(11):1161-1170, 2016. [doi]

Convexity and constructive infimaJosef Berger, Gregor Svindland. AML, 55(7-8):873-881, 2016. [doi]

2012

The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent ChoiceJosef Berger, Hajime Ishihara, Peter Schuster. rml, 47:63-86, 2012. [doi]

A predicative completion of a uniform spaceJosef Berger, Hajime Ishihara, Erik Palmgren, Peter Schuster. APAL, 163(8):975-980, 2012. [doi]

Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theoremJosef Berger. APAL, 163(8):981-985, 2012. [doi]

Double sequences, almost Cauchyness and BD-NJosef Berger, Douglas S. Bridges, Erik Palmgren. igpl, 20(1):349-354, 2012. [doi]

2010

A Constructive Study of Landau s Summability TheoremJosef Berger, Douglas S. Bridges. jucs, 16(18):2523-2534, 2010. [doi]

2009

A Constructive Study of Landau s Summability TheoremJosef Berger, Douglas S. Bridges. cca 2009: [doi]

Rearranging Series ConstructivelyJosef Berger, Douglas S. Bridges. jucs, 15(17):3160-3168, 2009. [doi]

A decomposition of Brouwer's fan theoremJosef Berger. jla, 1, 2009. [doi]

2008

The weak König lemma and uniform continuityJosef Berger. JSYML, 73(3):933-939, 2008. [doi]

The anti-Specker property, a Heine-Borel property, and uniform continuityJosef Berger, Douglas S. Bridges. AML, 46(7-8):583-592, 2008. [doi]

Editorial: Math. Log. Quart. 1/2008Josef Berger, Dirk Pattinson, Peter Schuster, Júlia Zappe. mlq, 54(1):4, 2008. [doi]

2006

The Logical Strength of the Uniform Continuity TheoremJosef Berger. cie 2006: 35-39 [doi]

The fan theorem and unique existence of maximaJosef Berger, Douglas S. Bridges, Peter Schuster. JSYML, 71(2):713-720, 2006. [doi]

Classifying Dini s TheoremJosef Berger, Peter Schuster. ndjfl, 47(2):253-262, 2006. [doi]

A Bizarre Property Equivalent to the Pi::1:::::0:::-Fan TheoremJosef Berger, Douglas S. Bridges. igpl, 14(6):867-871, 2006. [doi]

2005

The Fan Theorem and Uniform ContinuityJosef Berger. cie 2005: 18-22 [doi]

Exact calculation of inverse functionsJosef Berger. mlq, 51(2):201-205, 2005. [doi]

Constructive Equivalents of the Uniform Continuity TheoremJosef Berger. jucs, 11(12):1878-1883, 2005. [doi]

Brouwer s fan theorem and unique existence in constructive analysisJosef Berger, Hajime Ishihara. mlq, 51(4):360-364, 2005. [doi]

Sign in or sign up to see more results.

runs on WebDSL