27

Questions

2
10
votes
4
answers
684
views

How are Modal Logic and Graph Theory related?

mar 14 at 1:35 rzach 211

 
7
votes
4
answers
483
views

Reference Request: Non-Standard Models of PA

mar 3 12 at 0:05 Benedict Eastaugh 1514

1
7
votes
3
answers
302
views

Surface Eversions: Generalizing from Sphere and Torus Eversions

may 12 12 at 2:24 Agol 23.9k13384

 
5
votes
2
answers
193
views

Kissing Number of Spheres in Non-Euclidean Geometry

mar 1 at 10:34 Will Jagy 12.5k12645

1
4
votes
2
answers
544
views

How many models of Peano arithmetic are isomorphic to the standard model and how many models of Peano arithmetic are non-standard?

mar 24 12 at 21:16 Joel David Hamkins 75.3k7187343

 
4
votes
1
answer
191
views

Under what conditions does $\mathcal{M} \vDash \mathsf{PA}$ and $\mathcal{K} \vDash \mathsf{PA}$ such that $\mathcal{M} \ncong \mathcal{K}$?

mar 11 12 at 22:06 Joel David Hamkins 75.3k7187343

 
3
votes
2
answers
221
views

Finding the order of a flip graph and how it relates to all possible triangulations of a graph

jan 4 12 at 0:49 Joseph O'Rourke 43.3k149214

 
3
votes
0
answers
143
views

Methods for generating metrics and minimizing variational dynamics of particles (masses or charges) on n-dimensional smooth manifolds

jan 17 12 at 20:35 Samuel Reid 56129

 
3
votes
1
answer
184
views

Generalizing the circle packing theorem to 3-dimensions

may 7 12 at 18:56 Igor Rivin 31.2k33771

2
3
votes
1
answer
160
views

Completeness of a Theory from the Categorical Viewpoint

feb 11 at 7:05 David Roberts 11.7k21855

1 2 3 next