Area 51 » Pedro Sánchez Terraf

info activity reputation

reputation

7 views

discussion user

network profile

Registered User

name	Pedro Sánchez Terraf
member for	2 years
seen	Nov 23 '21 at 15:04
website	cs.famaf.unc.edu.ar/~pedro
location	Córdoba, Argentina

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/

stats accounts

0

Proposals

0

Current Commitments

1

Fulfilled Commitment

954

days

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.

define

commit

public beta

0

Followed

0

Example Questions

0

Votes Cast

3

Badges

● Autobiographer

user feed