Emacs
Pedro Sánchez Terraf
  • Member for 4 years, 9 months
  • Last seen more than a month ago
Profile Activity
Stats
111
reputation
163
reached
0
answers
2
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
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
0
Score
2
Posts
100
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
All Questions Answers Articles
Votes Newest
1
LaTeX highlighting: Dollar expressions across lines
Jun 14 '17
0
How to specify the geometry of the *tex-shell* frame?
Feb 8 '17
Top network posts
View all network posts
29
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?
11
Which is the more popular approach to forcing in the literature?

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.