Andreas Blass

32,878

Reputation

8603 views

Registered User

Name	Andreas Blass
Member for	3 years
Seen	14 hours ago
Website	math.lsa.umich.edu/~ablass
Location	US
Age

stats recent reputation favorites

0

Questions

478

Answers

votes newest views recent

What are some examples of colorful language in serious mathematics papers?

Mathematical “urban legends”

Categories First Or Categories Last In Basic Algebra?

Set theories without “junk” theorems? (2)

Why can’t proofs have infinitely many steps?

What is Realistic Mathematics?

Kuratowski’s definition of ordered pairs

Do the algebraic integers form a free abelian group?

Is there a name for a family of finite sequences that block all infinite sequences?

What can be proven in Peano arithmetic but not Heyting arithmetic?

What the heck is the Continuum Hypothesis doing in Weibel’s Homological Algebra?

Why is the fibered coproduct of affine schemes not affine?

Unprovable statements S where the only way to prove S is to assume S

Is PA consistent? do we know it?

Are proper classes objects?

Club sets and substructures (2)

When factors may be cancelled in homeomorphic products?

Interpretation of the Second Incompleteness Theorem

Proving Independence of Axioms by Exhibiting Models Which Don’t Satisfy Our Intuition

Arguments against large cardinals

Are there more connected or disconnected graphs on n vertices?

Is there a measure zero set which isn’t meagre?

Finite axiom of choice: how do you prove it from just ZF?

Partitioning $\mathbb{R}$ into $\aleph_1$ Borel sets

Mathematics needed for higher dimensional category theory?

Theorems first published in textbooks?

Is P=NP relevant to finding proofs of everyday mathematical propositions?

Never appeared forthcoming papers

Free modules over integers

Is choice needed to establish the existence of idempotent ultrafilters?

350

Votes

311

39

211

Tags

lo.logic× 158
set-theory× 153
ct.category-theory× 34
gn.general-topology× 33
model-theory× 31
reference-request× 30
axiom-of-choice× 24
soft-question× 21
gr.group-theory× 17
forcing× 17

co.combinatorics× 16
math-philosophy× 15
proof-theory× 14
big-list× 14
ultrafilters× 13
measure-theory× 13
large-cardinals× 13
ac.commutative-algebra× 13
ra.rings-and-algebras× 11
fa.functional-analysis× 11

computational-complexity× 11
ho.history-overview× 10
foundations× 10
examples× 10
linear-algebra× 9
graph-theory× 9
computability-theory× 9
terminology× 8
pr.probability× 8
order-theory× 8

metamathematics× 8
descriptive-set-theory× 8
at.algebraic-topology× 8
ag.algebraic-geometry× 8
rt.representation-theory× 6
real-analysis× 6
notation× 6
independence-results× 6
topos-theory× 5
topology× 5

semigroups× 5
geometry× 5
finite-groups× 5
dg.differential-geometry× 5
computer-science× 5
nt.number-theory× 4
monoids× 4
modal-logic× 4
mg.metric-geometry× 4
it.information-theory× 4

167

Badges