1![arXiv: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](https://www.pdfsearch.io/img/f0b1dcdb9a0ef1189b1eaecf33266322.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2012-06-21 01:35:19
|
---|
2![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 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](https://www.pdfsearch.io/img/21a6c738c7d38b8311ca28a33e439580.jpg) | Add to Reading ListSource URL: www.harremoes.dkLanguage: English - Date: 2012-03-03 16:27:05
|
---|
3![Modular Bisimulation Theory for Computations and Values Appendix A 17 Modular Bisimulation Theory for Computations and Values Appendix A 17](https://www.pdfsearch.io/img/cd95699059f592e7b28c92d4186cebd8.jpg) | Add to Reading ListSource URL: plancomps.dreamhosters.comLanguage: English - Date: 2014-11-22 16:20:54
|
---|
4![A 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](https://www.pdfsearch.io/img/0e7b7cc8b21d9adcb27bf29597fef15d.jpg) | Add to Reading ListSource URL: rich.recoil.orgLanguage: English - Date: 2006-04-13 14:58:01
|
---|
5![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 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](https://www.pdfsearch.io/img/788f9b6f56724078be343db8398476ae.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2013-09-25 08:51:12
|
---|
6![G¨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](https://www.pdfsearch.io/img/062647820ec083809add6b6382f75995.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2011-08-31 12:29:01
|
---|
7![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 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](https://www.pdfsearch.io/img/3391e99f65b2646cd834dc1f24d65346.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2009-10-14 11:24:50
|
---|
8![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: 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:](https://www.pdfsearch.io/img/902cb23719656c6305668528fa97210c.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2012-11-12 10:34:29
|
---|
9![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 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](https://www.pdfsearch.io/img/98077164fa80cfdd36ad80987965061c.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2012-11-16 09:33:39
|
---|
10![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 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](https://www.pdfsearch.io/img/72adcc5651e4d16a56bd2deba6136855.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2011-04-18 10:49:58
|
---|