1
0
0
(1 - 29 von 35
)
Douglas Bridges & Hannes Diener, The anti-Specker property,...
philpapers.org
Working within Bishop-style constructive mathematics, we examine some of the consequences of the anti-Specker property, known to be equivalent to a version of...
Hannes Diener, Generalising compactness - PhilPapers
philpapers.org
Working within the framework of Bishop's constructive mathematics, we will show that it is possible to define compactness in a more general setting than that...
A constructive treatment of Urysohn's Lemma in an apartness spacephilpapers.org › rec › BRIACT-4
philpapers.org
Hannes Diener Mathematical Logic Quarterly 54 (1): Versions of Normality and Some Weak Forms of the Axiom of Choice.
Constructive Mathematics (Stanford Encyclopedia of Philosophy)
plato.stanford.edu
... decades of friendship, mathematical collaboration, and support during visits to their institutions; Luminita Vîţă, Hannes Diener, Matt Hendtlass ...
Apartness and Uniformity: A Constructive Development - Douglas S....
books.google.de
Hannes Diener, Anton Hedin, Matt Hendtlass, Erik Palmgren, and Thomas Steinke, for reading our drafts, giving us valuable suggestions for improving them, ...
ontos mathematical logic - De Gruyterwww.degruyter.com › document › doi › pdf
www.degruyter.com
Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger (Eds.) ... [11] D.S. Bridges and F. Richman: Varieties of Constructive Mathematics, London.
Techniques of Constructive Analysis - Douglas S. Bridges, Luminita...
books.google.de
This book is an introduction to constructive mathematics with an emphasis on techniques and results obtained in the last twenty years. The text covers...
Constructive Reverse Mathematics: Habilitationsschrift - Hannes...
books.google.by
Constructive Reverse Mathematics: Habilitationsschrift. Front Cover. Hannes Diener. Universitätsbibliothek der Universität Siegen, Axioms · 0 Reviews ...
[ ] Constructive Reverse Mathematics
arxiv.org
Submission history. From: Hannes Diener [view email] [v1] Mon, 16 Apr : 46:56 UTC (138 KB) [v2] Thu, 3 May :48:31 UTC (
LOGIKSEMINARIET STOCKHOLM-UPPSALA Onsdagen 19 maj blir ...www2.math.uu.se › logsem › kall
www2.math.uu.se
· I will present work on constructive reverse mathematics, carried out with Josef Berger and Hannes Diener. The main theme of the talk is the ...
[ ] Constructive aspects of Riemann's permutation theorem for...
arxiv.org
Submission history. From: Hannes Diener [view email] [v1] Thu, 28 Mar :54:06 GMT (11kb). Which authors of this paper are endorsers?
Vitali's covering theorem in constructive mathematics.www2.math.uu.se/~palmgren/logsem/kall txt
www2.math.uu.se
... to the point-set result is explained via the concept of spatiality of formal topologies. The talk is based on joint work with Dr. Hannes Diener.
Annals of Pure and Applied Logic | Vol 157, Issue 1, Pages
www.sciencedirect.com
Sequences of real functions on [ 0 , 1 ] in constructive reverse mathematics. Hannes Diener, Iris Loeb. Pages : Download PDF. Article preview ...
PRINCIPLES WEAKER THAN BD-N - jstorwww.jstor.org › stable
www.jstor.org
ROBERT S. LUBARSKY AND HANNES DIENER. Abstract. BD-N is a weak principle of constructive analysis. Several interesting principles implie.
The Pseudocompactness of [0.1] Is Equivalent to the Uniform jstorwww.jstor.org › stable
www.jstor.org
DOUGLAS BRIDGES AND HANNES DIENER. Abstract [8] D. S. Bridges, Some notes on continuity in constructive analysis, The Bulletin of the London.
Oberseminar Mathematische Logik
www.mathematik.uni-muenchen.de
Hannes Diener, Constructive Reverse Mathematics, 18. Mai Christoph-Simon Senjak, An Implementation of Deflate in Coq, 8. Juni Chuangjie Xu, The inconsistency of a Brouwerian continuity principle with the Curry-Howard interpretation, 15. Juni Abstract: If all functions (N - - N) - - N are continuous then 0 = 1.
The dark side of constructive reverse mathematics by Hannes Diener
at.yorku.ca
The dark side of constructive reverse mathematics by. Hannes Diener University of Canterbury. Basing mathematics on foundations that differ from those used ...
1 The Vitali covering theorem in constructive mathematics HANNES...
core.ac.uk
1 The Vitali covering theorem in constructive mathematics HANNES DIENER. By Anton Hedin. Abstract. Abstract: This paper investigates the Vitali Covering ...
Journal of Logic and Analysis - oalibwww.oalib.com › journal
www.oalib.com
... covering theorem in constructive mathematics · Hannes Diener,Anton Hedin ... reverse investigations into differential equations · Hannes Diener,Iris Loeb ...
On the constructive content of Sarkovskii's Theorem by Hannes Diener
at.yorku.ca
Organizers Stephen Joe (Convener and Secretary), Tim Stokes (Treasurer), Ian Hawthorn (Mathematics Education Day), Rua Murray (Dynamical Systems Day), ...
Hannes Dienerwww.andrej.com › mathematicians › Diener_Hannes
www.andrej.com
Hannes Diener. Diener, Hannes Trends in Constructive Mathematics Frauenwörth, June [Index] A | B | C | D | E | F | G | H | I | J | K | L | M | N | O ...
Laboratory for Discrete Mathematics & Theoretical Computer ...www.dmtcs.uct.ac.za › dmtcs › seminars
www.dmtcs.uct.ac.za
Dr Hannes Diener, University of Siegen, Germany Tuesday, 16 August 2011, 16h00, M 111 (Seminar Room). Working in constructive mathematics, ...
Constructive reverse investigations into differential equations |...
logicandanalysis.org
Constructive reverse investigations into differential equations
Differentiating convex functions constructively | Diener | Journal of...
logicandanalysis.org
Differentiating convex functions constructively
Program Extraction and Constructive Proofswww.cs.swan.ac.uk › ~csmona › pecp
www.cs.swan.ac.uk
... and the Kurt Gödel Society (KGS). SchwichtenbergWorkshop. Programme Committee: Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger.
The Vitali covering theorem in constructive mathematics | Diener ...logicandanalysis.org › index.php › jla › article › view
logicandanalysis.org
Home > Vol 4 (2012) > Diener. The Vitali covering theorem in constructive mathematics. Hannes Diener, Anton Hedin. Full Text: 7. [PDF].
reverse mathematics in nLabncatlab.org › nlab › show › reverse+mathematics
ncatlab.org
Hannes Diener, Constructive Reverse Mathematics, (arXiv: , dspace:ubsi/1306). Last revised on December 16, at 03:29:55.
the pseudocompactness of [0, 1] is equivalent to the uniform ...projecteuclid.org › journal-of-symbolic-logic › volume-72 › issue-4 › jsl
projecteuclid.org
DOUGLAS BRIDGES AND HANNES DIENER. Abstract. We prove constructively that, in order to derive the uniform continuity theorem for pointwise.
Bishop-compact space in nLabncatlab.org › nlab › show › Bishop-compact+space
nlab-pages.s3.us-east-2.amazonaws.com
· Hannes Diener, Compactness under constructive scrutiny (Ph.D. thesis), 2008, pdf · Mike Shulman, The shape of infinity, arxiv.
Alle Infos zum Namen "Hannes Diener"
sortiert nach Relevanz / Datum