Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with reference-request
Search options not deleted
user 20343
This tag is used if a reference is needed in a paper or textbook on a specific result.
7
votes
4
answers
904
views
Reference Request: Non-Standard Models of PA
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 …
- 1,441
7
votes
1
answer
443
views
Under what conditions does $\mathcal{M} \vDash \mathsf{PA}$ and $\mathcal{K} \vDash \mathsf{...
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 …
- 1,441
4
votes
1
answer
324
views
Deriving Helfrich's shape equation for closed membranes
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 …
- 1,441
4
votes
Beginning reference for configuration spaces
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 …
- 1,441
3
votes
1
answer
803
views
Moise's Theorem and the Fundamental Domain of a $3$-Manifold
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 …
- 1,441
2
votes
1
answer
203
views
Is there a security analysis of the GQ digital signature scheme?
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 …
- 1,441
2
votes
Background for classic forcing
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 …
- 1,441