User godelian - MathOverflow

79 votes

11 answers

13k views

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

asked Mar 15, 2011 at 0:47

26 votes

1 answer

2k views

On Joyal's completeness theorem for first order logic

asked Jul 1, 2013 at 15:21

8 votes

1 answer

535 views

On a weak tree property for inaccessible cardinals

asked Sep 21, 2014 at 10:25

8 votes

2 answers

648 views

Does Keisler-Shelah isomorphism theorem hold for infinitary logics?

asked Feb 3, 2017 at 18:00

7 votes

4 answers

2k views

Is every Heyting algebra the Lindenbaum algebra of an intuitionistic first order theory?

asked Apr 1, 2014 at 0:21

6 votes

0 answers

854 views

Is this property a new large cardinal notion?

asked Sep 8, 2016 at 16:05

5 votes

1 answer

842 views

Should consistency be considered as a concept in the metatheory?

asked Feb 14, 2011 at 18:09

1 vote

1 answer

360 views

A question about Borel sets on the unit interval

asked Feb 5, 2016 at 13:42

Stack Exchange Network

8 Questions

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

On Joyal's completeness theorem for first order logic

On a weak tree property for inaccessible cardinals

Does Keisler-Shelah isomorphism theorem hold for infinitary logics?

Is every Heyting algebra the Lindenbaum algebra of an intuitionistic first order theory?

Is this property a new large cardinal notion?

Should consistency be considered as a concept in the metatheory?

A question about Borel sets on the unit interval