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 8 years, 10 months
  • Last seen more than a week ago
Profile Activity
Stats
944
reputation
11k
reached
8
answers
7
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
1
gold badge
9
silver badges
21
bronze badges
Top tags
View all tags
14
Score
4
Posts
27
Posts %
14
Score
2
Posts
13
Posts %
14
Score
1
Posts
7
Posts %
14
Score
1
Posts
7
Posts %
8
Score
5
Posts
33
Posts %
6
Score
3
Posts
20
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
14
Representation theorem for modular lattices?
Feb 8, 2016
question
13
Can you define a probability measure on the set of countable transitive models of ZFC?
Jan 7, 2016
question
11
Which is the more popular approach to forcing in the literature?
Jun 29, 2020
question
10
Looking for “Set theory for a small universe” by Ketonen
Nov 14, 2018
question
7
Posets obtained from a semigroup by the definition $x \leq y \iff x \cdot y = x$
Jul 9, 2016
question
6
Are there any recent advances in formalizing the undecidability of $\mathit{CH}$?
Mar 24, 2017
answer
6
Counterexamples in universal algebra
Feb 9, 2015
question
4
Consistency strength of weakly inaccessibles without $\mathsf{GCH}$
Jan 22, 2017
answer
4
Does a surjective measurable map induce a surjective pushforward operator?
Feb 15, 2015
answer
4
When is a formula preserved under taking factors in a reduced product or the stalk in a Boolean product?
Apr 24, 2015
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
13
Attempts to accommodate theories of different consistency strength in single assistant
11
Proof assistants for forward reasoning?
10
What are good books for learning about proof assistants for Functional Analysis?

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.