Skip to main content
MathOverflow
Pedro Sánchez Terraf's user avatar
Pedro Sánchez Terraf's user avatar
Pedro Sánchez Terraf's user avatar
Pedro Sánchez Terraf
  • Member for 9 years, 11 months
  • Last seen more than a month ago
Profile Activity
Stats
1,124
reputation
0
reached
0
answers
0
questions
Communities
View all
About

Mathematician at the Universidad Nacional de Córdoba.

My research interests:

  • Set Theory [Formal verification of forcing].
  • Applications of Descriptive Set Theory to Computer Science.
  • Universal Algebra, Varieties, Definability.

My most colorful answer so far.

http://xkcd.com/810/

Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
3
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
39
What is a Dynkin system? ($\lambda$-system)
15
Representation theorem for modular lattices?
15
Proving the existence of a proof without actually giving a proof
13
Attempts to accommodate theories of different consistency strength in single assistant
13
Can you define a probability measure on the set of countable transitive models of ZFC?