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 this week
Profile Activity
Stats
4,594
reputation
43k
reached
129
answers
9
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
2
gold badges
14
silver badges
31
bronze badges
Top tags
View all tags
129
Score
55
Posts
40
Posts %
68
Score
30
Posts
22
Posts %
65
Score
17
Posts
12
Posts %
64
Score
38
Posts
28
Posts %
59
Score
19
Posts
14
Posts %
51
Score
7
Posts
5
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
37
What is a Dynkin system? ($\lambda$-system)
May 3, 2016
answer
15
Proving the existence of a proof without actually giving a proof
Feb 6, 2016
answer
8
An example of set which is not Souslin set
Dec 16, 2017
answer
8
Classification of Finite Topologies
Dec 20, 2015
answer
8
Is groups with binary operation alone a variety?
Feb 15, 2016
answer
6
Problem about $F_\sigma$ and $G_\delta$ sets
May 23, 2020
answer
6
Conditions for a intersection of connected sets to be connected.
Jul 4, 2020
answer
5
Large connected $T_2$-spaces
Dec 23, 2019
answer
5
Linking the Analysis of the Baire space, Cantor space and $\mathbb{R}$.
Aug 31, 2019
answer
5
What are permutable equivalence relations intuitively?
Jun 9, 2016
Top Meta posts
3
0
21
Showing related questions from MathOverflow
3
Could we have predefined macros for naturals, integers, reals, and the like?
Top network posts
View all network posts
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
11
Which is the more popular approach to forcing in the literature?
11
Proof assistants for forward reasoning?

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.