Area 51 » Pedro Sánchez Terraf

201
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
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/

0

Proposals


0

Current Commitments


1

Fulfilled Commitment

778
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