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 axioms
Search options answers only
not deleted
user 1176
23
votes
Axiom of Computable Choice versus Axiom of Choice
As others have observed before, you cannot simply say "computable" and "ZF" in the same sentence without explaining what you mean. But I can tell you what your options are.
In order to speak about co …
- 48.8k
9
votes
Elementary theory of the category of groupoids?
Robert Harper and Dan Licata studied the topic under the name 2-dimensional type theory, see their Canonicity for 2-Dimensional Type Theory and possibly these
slides. As they are computer scientists t …
- 48.8k
22
votes
Accepted
When does a topos satisfy the axiom of regularity?
The relationship between toposes and set theories was studied comprehensively in
Steve Awodey, Carsten Butz, Alex Simpson, Thomas Streicher: Relating first-order set theories, toposes and categories …
- 48.8k