Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer
  • Member for 14 years, 5 months
  • Last seen this week
16 votes
Accepted

Is a background in Category Theory enough for starting a PhD in Category Theory?

16 votes

Good introductory book to type theory?

16 votes

What's the earliest result (outside of logic) that cannot be proven constructively?

15 votes
Accepted

Church–Turing thesis for higher order functions

15 votes
Accepted

Homotopy type theory: Are the hierarchy of Type_k universes isomorphic?

15 votes
Accepted

What do we call this quantifier ("binder")?

15 votes

How constructive is Doyle-Conway's 'Division by three'?

15 votes
Accepted

synthetic differential geometry and other alternative theories

15 votes

Does the set of open sets in a topological space have a topology itself?

15 votes

Usage of set theory in undergraduate studies

15 votes

How many binary operations are associative?

14 votes

Second-order term in first-order logic?

14 votes

Essential reads in the philosophy of mathematics and set theory

14 votes

Category and the axiom of choice

14 votes
Accepted

Effective topos and computability in topological spaces

14 votes
Accepted

Reference request for type theory

14 votes
Accepted

The difference between the Recursive and the Effective topos.

14 votes

Are real numbers countable in constructive mathematics?

14 votes
Accepted

are quotients by equivalence relations "better" than surjections?

14 votes

Are simplicial sets the intended model of HoTT?

14 votes

Axiom of Choice and continuous functions

14 votes

Connection between codata and greatest fixed points

13 votes

Was the early calculus inconsistent?

13 votes

Subset of the plane that intersects every line exactly twice

13 votes

Oneupsmanship and Publishing Etiquette

13 votes
Accepted

Can ZFC prove "false theorems", and still be consistent? (was "Junk Theorems" follow up)

13 votes

Uncountable family of infinite subsets with pairwise finite intersections

13 votes
Accepted

Cardinal Arithmetic, foundations and constructive math

13 votes
Accepted

Is there an algorithm that can "reverse engineer" a Regular Expression?

13 votes

What is a Choice Principle, really?

1 2 3
4
5
12