Marc Alcobé García's user avatar
Marc Alcobé García's user avatar
Marc Alcobé García's user avatar
Marc Alcobé García
  • Member for 13 years, 10 months
  • Last seen more than 2 years ago
18 votes
2 answers
3k views

Universe view vs. Multiverse view of Set Theory

16 votes
3 answers
18k views

Non-computable but easily described arithmetical functions

15 votes
5 answers
2k views

Intended interpretations of set theories

15 votes
1 answer
2k views

Martin's "Philosophical Issues about the Hierarchy of Sets"

9 votes
4 answers
3k views

Incompleteness and nonstandard models of arithmetic

8 votes
2 answers
963 views

Weakest subsystems of second order arithmetic for mathematical logic

8 votes
3 answers
1k views

Tractability of forcing-invariant statements under large cardinals

7 votes
2 answers
3k views

How to think like a set (or a model) theorist.

5 votes
2 answers
2k views

Existence of an $\omega$-nonstandard model of ZFC from compactness

4 votes
1 answer
558 views

Statements that require the existence of non-standard models to hold

4 votes
1 answer
326 views

Subsets of sequences of natural numbers vs. strategies under ZFC

4 votes
2 answers
983 views

Breaking the circularity in the definition of N

3 votes
3 answers
676 views

Determinacy interchanging the roles of both players

3 votes
1 answer
926 views

Semidecidable sets

3 votes
1 answer
857 views

Feferman's extensional and intensional applications of the method of arithmetization

1 vote
1 answer
2k views

Slaman and Woodin on Mathematical logic