The following pages link to (Q4003736):
Displaying 11 items.
- Mathematical structures of simple voting games (Q459164) (← links)
- Defining effectiveness using finite sets. A study on computability (Q529651) (← links)
- How to be a structuralist all the way down (Q542132) (← links)
- What is the world of mathematics? (Q598279) (← links)
- An exactification of the monoid of primitive recursive functions (Q817674) (← links)
- On three arguments against categorical structuralism (Q1036073) (← links)
- Splitting idempotents in a fibered setting (Q1756501) (← links)
- The geometry of anabelioids (Q1769592) (← links)
- Infinitesimals and the continuum (Q1908685) (← links)
- On sheaf cohomology and natural expansions (Q2054954) (← links)
- On the dependent product in toposes (Q6047709) (← links)