Search Results

There is an article by Timothy Chow that gives background motivation and eases you in to forcing called "A beginner's guide to forcing"; it is of an expository nature, but there is still technical de …

I'm doing summer cryptography research and I am have been looking for a security analysis of the Guillou-Quisquater (GQ) digital signature scheme, but I have been unable to find one. Since this is not …

I'm currently researching the relationship between Moise's Theorem (Every closed $3$-manifold has a triangulation) and other properties of manifolds. In particular, I'm trying to learn about the funda …

I have a bunch of papers that claim that, from the equation for shape energy: $$ F = \frac{1}{2}k_c \int (c_1+c_2-c_0)^2 dA + \Delta p \int dV + \lambda \int dA$$ one can use "methods of variational c …

The configuration space of $n$ points in a topological space $X$ is usually defined to be, $$C_{\hat{n}}(X) = \{(z_{1},...,z_{n}) \in X^{n} \; | \; z_{i} \neq z_{j} \; \text{if} \; i\neq j \}$$ A th …

I am attempting to write an expository paper on non-standard models of PA that is accesible to students taking an introductory graduate course in mathematical logic (covering Godel's incompleteness th …

I'm currently learning some introductory model theory from Marker's "Model Theory: An Introduction", Kaye's "Models of Peano Arithmetic", and Hodges' "Model Theory", and I am confused by the Wikipedia …