Rodrigo Freire's user avatar
Rodrigo Freire's user avatar
Rodrigo Freire's user avatar
Rodrigo Freire
  • Member for 13 years, 5 months
  • Last seen more than a week ago
  • Brasília, DF, Brasil
33 votes
Accepted

A better way to explain forcing?

19 votes

Why not adopt the constructibility axiom $V=L$?

18 votes

Is the theory of a partial order bi-interpretable with the theory of a pre-order?

16 votes

why Skolemization?

14 votes
Accepted

In what ways is ZF (without Choice) "somewhat constructive"

12 votes

Question arising from Voevodsky's talk on inconsistency

12 votes

Russell's paradox as understood by current set theorists

12 votes
Accepted

Why Bourbaki's epsilon-calculus is not suitable for set theory?

9 votes

Reflection principle vs universes

7 votes

Is there a finitely axiomatizable class of structures whose equality-free theory is not finitely axiomatizable?

6 votes

In what sense does the sentence $\operatorname{con}(\mathsf{PA})$ "say" that $\mathsf{PA}$ is consistent?

6 votes
Accepted

Is TA (true arithmetic) interpretable in a recursively axiomatizable theory?

5 votes
Accepted

Foundational results dependent on/equivalent to the continuum hypothesis or its negation?

5 votes

Is equational logic in universal algebra a proof system not a logic system?

5 votes

Defining the standard model of PA so that a space alien could understand

5 votes

Differences between logic with and without equality

5 votes
Accepted

IF we weaken comprehension of second order logic to first order formulas, would the resulting system be a conservative extension of FOL?

4 votes

When forgetting structure doesn't matter

4 votes

Why should we believe in the axiom of regularity?

4 votes

Tarski's truth theorem — semantic or syntactic?

3 votes
Accepted

Counterexample equivalent in relevant logic DL

2 votes

Dropping "generic" from the definition of forcing

2 votes
Accepted

What are some further examples of proper class models of ZF that are contained in their own "self-relativization"?

2 votes

Consistency of embedding cardinals in linear orderings

1 vote

Persistent finite axiomatizability, relational edition

0 votes

Unique existence and the axiom of choice