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 realizability
Search options answers only
not deleted
user 11134
Realizability is a collection of methods in proof theory used to study constructive proofs and extract additional information from them.
2
votes
Accepted
Is there a polytope with an essentially unique shape?
What you are after seems to be projectively unique polytopes. And so the paper of Adiprasito and Ziegler may answer your question. Perhaps two papers in the references of that paper will give you many …
