Primitive recursive functional

Results: 20



#Item
1arXiv:1112.2537v3 [math.PR] 19 JunMinimal elements of stopping time σ-algebras Tom Fischer∗ University of Wuerzburg This version: June 21, 2012

arXiv:1112.2537v3 [math.PR] 19 JunMinimal elements of stopping time σ-algebras Tom Fischer∗ University of Wuerzburg This version: June 21, 2012

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2012-06-21 01:35:19
2Al-Kashi’s constant τ Peter Harremoës March 3, 2012 Here I collect some facts about al-Kashi’s constant that was appearently fist used by the Persian mathematician Jamshid al-Kashi. A previous version of this page

Al-Kashi’s constant τ Peter Harremoës March 3, 2012 Here I collect some facts about al-Kashi’s constant that was appearently fist used by the Persian mathematician Jamshid al-Kashi. A previous version of this page

Add to Reading List

Source URL: www.harremoes.dk

Language: English - Date: 2012-03-03 16:27:05
3Modular Bisimulation Theory for Computations and Values  Appendix A 17

Modular Bisimulation Theory for Computations and Values Appendix A 17

Add to Reading List

Source URL: plancomps.dreamhosters.com

Language: English - Date: 2014-11-22 16:20:54
4A Statically Allocated Parallel Functional Language Alan Mycroft1,2 and Richard Sharp2 1  Computer Laboratory, Cambridge University

A Statically Allocated Parallel Functional Language Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University

Add to Reading List

Source URL: rich.recoil.org

Language: English - Date: 2006-04-13 14:58:01
5TERM EXTRACTION AND RAMSEY’S THEOREM FOR PAIRS ALEXANDER P. KREUZER AND ULRICH KOHLENBACH Abstract. In this paper we study with proof-theoretic methods the function(al)s provably recursive relative to Ramsey’s theore

TERM EXTRACTION AND RAMSEY’S THEOREM FOR PAIRS ALEXANDER P. KREUZER AND ULRICH KOHLENBACH Abstract. In this paper we study with proof-theoretic methods the function(al)s provably recursive relative to Ramsey’s theore

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2013-09-25 08:51:12
6G¨odel functional interpretation and weak compactness Ulrich Kohlenbach1 Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany -darmstadt.d

G¨odel functional interpretation and weak compactness Ulrich Kohlenbach1 Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany -darmstadt.d

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2011-08-31 12:29:01
7On the Computational Content of the Bolzano-Weierstraß Principle∗ Pavol Safarik and Ulrich Kohlenbach Department of Mathematics Technische Universität Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany

On the Computational Content of the Bolzano-Weierstraß Principle∗ Pavol Safarik and Ulrich Kohlenbach Department of Mathematics Technische Universität Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2009-10-14 11:24:50
8FOUNDATIONAL AND MATHEMATICAL USES OF HIGHER TYPES  ULRICH KOHLENBACH† DEDICATED TO SOLOMON FEFERMAN FOR HIS 70TH BIRTHDAY  §1. Introduction. A central theme of proof theory is expressed by the following question:

FOUNDATIONAL AND MATHEMATICAL USES OF HIGHER TYPES ULRICH KOHLENBACH† DEDICATED TO SOLOMON FEFERMAN FOR HIS 70TH BIRTHDAY §1. Introduction. A central theme of proof theory is expressed by the following question:

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2012-11-12 10:34:29
9Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe–Universit¨at D–60054 Frankfurt, Germany

Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe–Universit¨at D–60054 Frankfurt, Germany

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2012-11-16 09:33:39
10A note on the monotone functional interpretation Ulrich Kohlenbach∗ Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany April 18, 2011

A note on the monotone functional interpretation Ulrich Kohlenbach∗ Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany April 18, 2011

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2011-04-18 10:49:58