Related papers: You Can Enter Cantor's Paradise
These informal notes are based on the author's lecture at the National Academies of Science, Engineering, and Mathematics workshop on "AI to Assist Mathematical Reasoning" in June 2023. The goal is to think through a path by which we might…
First, we reconstruct Wim Veldman's result that Open Induction on Cantor space can be derived from Double-negation Shift and Markov's Principle. In doing this, we notice that one has to use a countable choice axiom in the proof and that…
Cantor sets of integers have a rich set of arithmetic combinatorial properties. We consider classical Cantor sets, with a base and a fixed set of allowed digits. For such sets, we (a) give examples of such sets that satisfy the intersective…
In this paper, our aim is to discuss the outcome of a ten-year experimental workshop activity carried out by the Center `matematita' (http://www.matematita.it/) with classes of pre-university students of any age. We analyse the potential…
The new millennium's qualitative advances in relativistic heavy ion physics are in part due to, and are in part causing, a new appreciation for quantitative rigor in both experimental and theoretical work in the field. In these proceedings…
Experimental realizations of trapping Bose Einstein condensate lead to a Hamiltonian system of a classical particle bouncing off a convex scatterer in the field of an attracting potential. It is shown by application of KAM theory that under…
This paper is an extended version of a series of lectures on polar spaces given during the workshop and conference 'Groups and Geometries', held at the Indian Statistical Institute in Bangalore in December 2012. The aim of this paper is to…
The Monty Hall problem is a classic probability puzzle known for its counterintuitive solution, revealing fundamental discrepancies between mathematical reasoning and human intuition. To bridge this gap, we introduce a novel explanatory…
We give here the contents pages for the Proceedings of the Lattice 2001 conference (19th International Symposium on Lattice Field Theory) that took place in August 2001 in Berlin, Germany. The contents are in HTML form with clickable links…
Kotlarski's theorem (see H. Kotlarski. Bounded Induction and Satisfaction Classes. Mathematical Logic Quarterly, vol. 32, 31-34, 1986, P. 531--544.) formalized in $WKL_0$.
These are notes on Zhang's work and subsequent developments produced in preparation for 5 hours of talks for a general mathematical audience given in Cambridge, Edinburgh and Auckland over the last year. Being for colloquium-style talks,…
Two lectures given at the UK-Japan Winter School on 'Geometry and Analysis Towards Quantum Theory', Durham, January 2004.
This manuscript extends the Cantor-Kuratowski intersection theorem from the setting of metric spaces to the setting of uniformizable spaces. Complete uniformizable spaces are revisited.
This is the written version of the opening talk at the symposium "Expectations of a Final Theory," at Trinity College, Cambridge, on September 2, 2005. It is to be published in Universe or Multiverse?, ed. B. Carr (Cambridge University…
These notes are part of the research seminar with title "Theory of Bergman spaces and related function spaces" that took place in the University of Crete, Department of Mathematics (September 2006- December 2007), in the framework of the…
This is the first of the proposed sets of notes to be published in the website Gonit Sora (http://gonitsora.com). The notes will hopefully be able to help the students to learn their subject in an easy and comprehensible way. These notes…
The paper is a contribution to intuitionistic reverse mathematics. We work in a weak formal system for intuitionistic analysis. The Principle of Open Induction on Cantor space is the statement that every open subset of Cantor space that is…
These are notes from a lecture course on symmetric spaces by the second author given at the University of Pittsburgh in the fall of 2010.
This survey is based on a series of talks I gave at the conference "Dynamical systems and diophantine approximation" at l'Instut Henri Poincar\'e in June 2003. I will present asymptotic results (transitivity, ergodicity, weak-mixing) for…
These are notes on de Jong's proof of the period=index theorem over fields of transcendence degree two. They are actually about the simplified proof sketched by de Jong in the last section of his paper. These notes were meant as support for…