Outer Web | Explore

Explore >> Select a destination

You are here		consequently.org Collection Frames for Distributive Substructural Logics - consequently.org
\|	\|	richardzach.org Epsilon theorems in intermediate logics - Richard Zach	11.5 parsecs away Travel
\|	\|	Baaz, Matthias, and Richard Zach. 2022. Epsilon theorems in intermediate logics. The Journal of Symbolic Logic 87(2), pp. 682-720. DOI: 10.1017/jsl.2021.103. Open access. Any intermediate propositi...	11.5 parsecs away Travel
\|	\|	jdh.hamkins.org Failing definite descriptions, Notre Dame Food for Thought Seminar, March 2024 \| Joel David Hamkins	14.6 parsecs away Travel
\|	\|	I gave a talk for the Food for Thought seminar for the Notre Dame philosophy department. The topic concerned definite descriptions, particularly the semantics that might be given when one extends f...	14.6 parsecs away Travel
\|	\|	jdh.hamkins.org The covering reflection principle, Notre Dame Logic Seminar, February 2024 \| Joel David Hamkins	16.1 parsecs away Travel
\|	\|	This will be a talk for the Notre Dame Logic Seminar on 6 February 2024, 2:00 pm. Abstract. The principle of covering reflection holds of a cardinal $\kappa$ if for every structure $B$ in a countab...	16.1 parsecs away Travel
\|	\|	kristalcantwell.wordpress.com Mini-polymath 4 \| Euclidean Ramsey Theory	80.9 parsecs away Travel
\|		Mini-polymath 4 has started. It is based on question 3 of the IMO. The research thread is here. There is a wiki here.	80.9 parsecs away Travel