Mathematics
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 8 years, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
4,594
reputation
278
reached
0
answers
3
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.
8
silver badges
6
bronze badges
Top tags
0
Score
2
Posts
67
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
question
21
Showing related questions from MathOverflow
Nov 4, 2015
question
3
Could we have predefined macros for naturals, integers, reals, and the like? [duplicate]
Oct 7, 2020
question
1
Is there some bonus for New Year answers?!?
Jan 1, 2018
Top network posts
View all network posts
37
What is a Dynkin system? ($\lambda$-system)
15
Proving the existence of a proof without actually giving a proof
14
Representation theorem for modular lattices?
13
Can you define a probability measure on the set of countable transitive models of ZFC?
13
Attempts to accommodate theories of different consistency strength in single assistant

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.