Outer Web | Explore

Explore >> Select a destination

You are here		xorshammer.com The Undecidability of Identities Involving Sine, Exponentiation, and Absolute Value - XOR's Hammer
\|	\|	richardzach.org Epsilon theorems in intermediate logics - Richard Zach	5.6 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...	5.6 parsecs away Travel
\|	\|	almostsuremath.com Stochastic Processes, Indistinguishability and Modifications - Almost Sure	3.2 parsecs away Travel
\|	\|	I start these notes on stochastic calculus with the definition of a continuous time stochastic process. Very simply, a stochastic process is a collection of random variables $latex {\{X_t\}_{t\ge 0}}&fg=000000$ defined on a probability space $latex {(\Omega,\mathcal{F},{\mathbb P})}&fg=000000$. That is, for each time $latex {t\ge 0}&fg=000000$, $latex {\omega\mapsto X_t(\omega)}&fg=000000$ is a measurable function from $latex...	3.2 parsecs away Travel
\|	\|	thehousecarpenter.wordpress.com Notes on proving the completeness theorem for propositional logic \| The House Carpenter	3.8 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.8 parsecs away Travel
\|	\|	www.universityherald.com University Of Wyoming Has New World Class Engineering Facility	28.3 parsecs away Travel
\|		The construction of a new engineering facility started last year at the University of Wyoming. The University of Wyoming Engineering Hall is opening its doors to the public with a new engineering	28.3 parsecs away Travel