User Pedro Sánchez Terraf - Area 51 Discussions

Pedro Sánchez Terraf

Member for 1 year, 10 months
Last seen more than 1 year ago

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

Stats

201

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

This user doesn’t have any gold badges yet.

1

silver badge

Yearling

Nov 23

1

bronze badge

Supporter

Nov 23, 2021

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

35

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