Page not found
This question was removed from MathOverflow for reasons of moderation. Please refer to the help center for possible explanations why a question might be removed.
Here are some similar questions that might be relevant:
- Why is it OK to rely on the Fundamental Theorem of Arithmetic when using Gödel numbering?
- Can the Burgess-Hazen analysis of Predicative Arithmetic be extended to Transfinite Types?
- A question about consistent fragments of formalized mathematical theories with Natural Deduction
- What is known about the reverse mathematics of algebraic number fields?
- Who first proved that we can prove that we prove things we prove?
- Modal collapse upon addition of the law of the excluded middle to an Intuitionistic modal logic
- Can we avoid the modal collapse in a certain Intuitionistic modal logic by abandoning ¬◯⊥ but retaining the law of the excluded middle?
Try a Google Search
Try searching for similar questions
Browse our recent questions
Browse our popular tags
If you feel something is missing that should be here, contact us.