Skip to main content

Questions tagged [consistency-strength]

Use this tag when discussing the relative logical strength of axiom sets or foundations of theorem provers

2 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
20 votes
0 answers

Can we automatically get around set-theoretic difficulties?

One of the main technical annoyances of working with (large) categories is the variety of set-theoretic difficulties that come about with it: if we use ZFC as background logic, then those large ...
Wojowu's user avatar
  • 1,058
2 votes
0 answers

An unexpectedly hard question about type equality (of sigma types)

Suppose you have A: Type and P Q: A -> Prop such that {x : A | P x} = {x : A | Q x}. Can ...
Veky's user avatar
  • 121