1![In…nite Combinatorics and the foundations of regular variation N. H. Bingham Mathematics Department, Imperial College London, South Kensington, London SW7 2AZ () A. J. Ostaszewski In…nite Combinatorics and the foundations of regular variation N. H. Bingham Mathematics Department, Imperial College London, South Kensington, London SW7 2AZ () A. J. Ostaszewski](https://www.pdfsearch.io/img/a2bbd872081b028e21259d98169121c9.jpg) | Add to Reading ListSource URL: www.cdam.lse.ac.ukLanguage: English - Date: 2017-04-12 10:30:28
|
---|
2![Aspects of univalence Nicola Gambino School of Mathematics, University of Leeds Homotopy Type Theory and Univalent Foundations DMV 2015 Aspects of univalence Nicola Gambino School of Mathematics, University of Leeds Homotopy Type Theory and Univalent Foundations DMV 2015](https://www.pdfsearch.io/img/7658ce25b4fcb767872e6f50899ae479.jpg) | Add to Reading ListSource URL: www1.maths.leeds.ac.ukLanguage: English - Date: 2015-09-28 09:04:32
|
---|
3![Internalism and Externalism in the Foundations of Mathematics Axel Arturo Barceló Aspeitia Forthcoming on Carlos Alvarez and Andy Arana (eds.) Internalism and Externalism in the Foundations of Mathematics Axel Arturo Barceló Aspeitia Forthcoming on Carlos Alvarez and Andy Arana (eds.)](https://www.pdfsearch.io/img/bfbb41273091d7241b6fe7c0def4a4ea.jpg) | Add to Reading ListSource URL: www.filosoficas.unam.mxLanguage: English - Date: 2013-02-18 15:25:56
|
---|
4![G¨odel’s unpublished papers on foundations of mathematics W. W. Tait∗ Kurt G¨ odel: Collected Works Volume III [G¨odel, 1995] contains a selection from G¨odel’s Nachlass; it consists of texts of lectures, notes G¨odel’s unpublished papers on foundations of mathematics W. W. Tait∗ Kurt G¨ odel: Collected Works Volume III [G¨odel, 1995] contains a selection from G¨odel’s Nachlass; it consists of texts of lectures, notes](https://www.pdfsearch.io/img/28e3aba5c1f2ac4410c550d19194371c.jpg) | Add to Reading ListSource URL: home.uchicago.eduLanguage: English - Date: 2002-04-05 02:00:51
|
---|
5![INDEPENDENCE OF THE EXISTENCE OF PITOWSKY SPIN MODELS ILIJAS FARAH AND MENACHEM MAGIDOR In the last several decades the study of the foundations of Mathematics is dominated by the impact of the independence phenomena in INDEPENDENCE OF THE EXISTENCE OF PITOWSKY SPIN MODELS ILIJAS FARAH AND MENACHEM MAGIDOR In the last several decades the study of the foundations of Mathematics is dominated by the impact of the independence phenomena in](https://www.pdfsearch.io/img/5e136fd8969030032b24a314825eeea3.jpg) | Add to Reading ListSource URL: www.math.yorku.caLanguage: English - Date: 2012-12-23 18:05:05
|
---|
6![Il programma “Univalent Foundations of Mathematics” di Vladimir Voevodsky Nicola Gambino Universit` a degli Studi di Palermo Il programma “Univalent Foundations of Mathematics” di Vladimir Voevodsky Nicola Gambino Universit` a degli Studi di Palermo](https://www.pdfsearch.io/img/2323b2722e22cc709b2ce004c3957071.jpg) | Add to Reading ListSource URL: www1.maths.leeds.ac.ukLanguage: Italian - Date: 2013-05-09 12:23:29
|
---|
7![Relational Foundations for Functorial Data Migration David Spivak, Ryan Wisnesky Department of Mathematics Massachusetts Institute of Technology {dspivak, wisnesky}@math.mit.edu Relational Foundations for Functorial Data Migration David Spivak, Ryan Wisnesky Department of Mathematics Massachusetts Institute of Technology {dspivak, wisnesky}@math.mit.edu](https://www.pdfsearch.io/img/802ae69e190c209a7eea5643487a48b0.jpg) | Add to Reading ListSource URL: categoricaldata.netLanguage: English - Date: 2015-10-28 17:06:57
|
---|
8![Laws of Form - An Exploration in Mathematics and Foundations ROUGH DRAFT by Louis H. Kauffman UIC Laws of Form - An Exploration in Mathematics and Foundations ROUGH DRAFT by Louis H. Kauffman UIC](https://www.pdfsearch.io/img/3d4ac8288f030d301c0e53629bb8e54e.jpg) | Add to Reading ListSource URL: homepages.math.uic.edu- Date: 2006-02-16 01:23:54
|
---|
9![From G¨odel to Lambek: Studies in the Foundations of Mathematics Philip Scott University of Ottawa (Lambekfest, September 21, 2013 CRM, U. de Montr´eal ) From G¨odel to Lambek: Studies in the Foundations of Mathematics Philip Scott University of Ottawa (Lambekfest, September 21, 2013 CRM, U. de Montr´eal )](https://www.pdfsearch.io/img/a822265e3652b1fd41bc43f7362b9c77.jpg) | Add to Reading ListSource URL: www.site.uottawa.ca- Date: 2014-06-16 19:29:00
|
---|
10![Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg](https://www.pdfsearch.io/img/000c758a7a18eb170fdff980c35989a0.jpg) | Add to Reading ListSource URL: events.cs.bham.ac.ukLanguage: English - Date: 2012-04-26 12:08:31
|
---|