User Pedro Sánchez Terraf - MathOverflow Meta

As of May 31, 2023, we have updated our Code of Conduct.

Pedro Sánchez Terraf

Member for 8 years, 4 months
Last seen more than a week ago

cs.famaf.unc.edu.ar/~pedro
Córdoba, Argentina

Stats

934

reputation

0

reached

0

answers

0

questions

Loading…

Communities

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.

4

silver badges

Yearling

× 4

Jan 2, 2020

3

bronze badges

Critic

Dec 26, 2016
Supporter

Mar 22, 2015
Autobiographer

Jan 17, 2015

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

34

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