Ratings by cpressey of FoM works

What is a natural number?

• rating: 1

Most \'unintuitive\' application of the Axiom of Choice?

• rating: 1

Why worry about the axiom of choice?

• rating: 1

How much of the axiom of choice do you need in mathematics?

• rating: 1

What can be preserved in mathematics if all constructions are carried out in ZF?

• rating: 1

Lists as a foundation of mathematics

• rating: 1

Is there any physical or computational justification for non-constructive axioms such as AC or excluded middle?

• rating: 1

Does changing the universe of set theory change the definition of truth?

• rating: 1

Bourbaki\'s definition of the number 1

• rating: 1

The Origin of the Number Zero | History | Smithsonian

• rating: 0

How to rewrite mathematics constructively?

• rating: 1

How should a \"working mathematician\" think about sets? (ZFC, category theory, urelements)

• rating: 1

Set theories without \"junk\" theorems?

• rating: 1

Why hasn\'t mereology succeeded as an alternative to set theory?

• rating: 1

Which is the most powerful language, set theory or category theory?

• rating: 1

Defining the standard model of PA so that a space alien could understand

• rating: 1

ULTRAINFINITISM, or a step beyond the transfinite

• rating: 1

Set-theoretical multiverse and foundations

• rating: 1

New Foundations and weaker forms of choice

• rating: 1

getting rid of existential quantifiers

• rating: 1

Paris--Harrington theorem - Wikipedia, the free encyclopedia

• rating: 1

What sorts of extra axioms might we add to ZFC to compute higher Busy Beaver numbers?

• rating: 1

Are there first-order statements that second order PA proves that first order PA does not?

• rating: 1