Outer Web | Explore

Explore >> Select a destination

You are here		theoremoftheweek.wordpress.com Theorem 18: the rational numbers are countable \| Theorem of the week
\|	\|	dominiczypen.wordpress.com Basics on towers on the natural numbers \| Musings on general topology and orderings	4.3 parsecs away Travel
\|	\|	For $latex A, B \subseteq \omega$ we write $latex A \subseteq^* B$ if $latex A\setminus B$ is finite, and we write $latex A\simeq^* B$ if $latex A\subseteq^* B$ and $latex B\subseteq^* A$. A tower is a collection $latex {\cal T}$ of co-infinite subsets of $latex \omega$ such that for all $latex A\neq B\in {\cal T}$...	4.3 parsecs away Travel
\|	\|	kpknudson.com There Is An Infinite Amount of Hope, Just Not For Us - Kevin Knudson	4.0 parsecs away Travel
\|	\|		4.0 parsecs away Travel
\|	\|	thehousecarpenter.wordpress.com Notes on proving the completeness theorem for propositional logic \| The House Carpenter	3.3 parsecs away Travel
\|	\|	NB: I've opted to just get straight to the point with this post rather than attempting to introduce the subject first, so it may be of little interest to readers who aren't already interested in proving the completeness theorem for propositional logic. A PDF version of this document is available here. The key thing I...	3.3 parsecs away Travel
\|	\|	jdh.hamkins.org Lectures on the Philosophy of Mathematics, Oxford, Michaelmas 2018 \| Joel David Hamkins	43.2 parsecs away Travel
\|		This will be a series of lectures on the philosophy of mathematics, given at Oxford University, Michaelmas term 2018. The lectures are mainly intended for undergraduate students preparing for exam ...	43.2 parsecs away Travel