Stack Exchange
  • log in
  • chat
  • meta
  • about

Stack Exchange

  • All Sites
  • Hot Questions
  • Top Users
  • Newsletters
  • Blogs

user18921

top accounts reputation activity favorites subscriptions
Top Questions
20 votes

Is $\mathbb{N}$ impossible to pin down?

logic soft-question model-theory philosophy foundations asked May 9 at 11:40
math.stackexchange.com

18 votes

Struggling with “technique-based” mathematics, can people relate to this? And what, if anything, can be done about it?

soft-question asked Mar 3 at 2:39
math.stackexchange.com

16 votes

Why hasn't GCH become a standard axiom of ZFC?

set-theory cardinals axioms asked Mar 31 at 4:42
math.stackexchange.com

16 votes

Which comes first - truth or provability?

epistemology philosophy-of-mathematics asked Apr 25 at 5:58
philosophy.stackexchange.com

15 votes

Non-associative version of a group satisfying these identities: $(xy)y^{-1}=y^{-1}(yx)=x$

abstract-algebra asked May 16 at 11:49
math.stackexchange.com

14 votes

What is dual to “There exists unique?”

logic quantifiers asked May 10 at 15:12
math.stackexchange.com

12 votes

Is there an axiomatic approach to ordinal arithmetic?

reference-request ordinals axioms asked Mar 24 at 8:32
math.stackexchange.com

12 votes

Can an algebraic structure have indistinguishable elements?

abstract-algebra asked 23 hours ago
math.stackexchange.com

12 votes

Smaller membership symbol

symbols fontsize size asked Nov 14 '12 at 11:40
tex.stackexchange.com

11 votes

Is second order logic even a logic?

logic higher-order-logic asked May 13 at 22:47
math.stackexchange.com

1 2 3 4 5 6 next

Top Answers
7
What is the first cardinal number which is grearter than continuum?
math.stackexchange.com

5
What was the first bit of mathematics that made you realize that math is beautiful? (For children's book)
math.stackexchange.com


about blog legal privacy policy contact us feedback always welcome

site design / logo © 2013 stack exchange, inc; user contributions licensed under cc-wiki with attribution required

2013.5.15.616