Stack Exchange

Pedro Sánchez Terraf

Córdoba, Argentina

http://cs.famaf.unc.edu.ar/~pedro

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.

http://xkcd.com/810/

top accounts reputation activity subscriptions
Top Questions
13 votes

Can you define a probability measure on the set of countable transitive models of ZFC?

lo.logic set-theory descriptive-set-theory asked Jan 7, 2016 at 18:11
mathoverflow.net

13 votes

Attempts to accommodate theories of different consistency strength in single assistant

foundations consistency-strength logical-frameworks asked Feb 12, 2022 at 14:51
proofassistants.stackexchange.com

11 votes

Which is the more popular approach to forcing in the literature?

set-theory forcing asked Jun 29, 2020 at 15:55
mathoverflow.net

10 votes

Looking for “Set theory for a small universe” by Ketonen

reference-request set-theory lo.logic peano-arithmetic ramsey-theory asked Nov 14, 2018 at 21:11
mathoverflow.net

8 votes

RSS feed has errors at math.SE

bug tags rss feed asked Oct 21, 2015 at 14:23
meta.stackexchange.com

7 votes

Polish Ł, ł render as plain L, l using newtxtext

fonts newtx asked Feb 8 at 15:04
tex.stackexchange.com

7 votes

Posets obtained from a semigroup by the definition $x \leq y \iff x \cdot y = x$

reference-request order-theory semigroups universal-algebra asked Jul 9, 2016 at 12:29
mathoverflow.net

6 votes

Are there any recent advances in formalizing the undecidability of $\mathit{CH}$?

lo.logic set-theory proof-assistants formal-proof asked Mar 24, 2017 at 11:39
mathoverflow.net

6 votes

Building a session using `isabelle` vs jEdit

isabelle jedit asked Jan 27, 2020 at 12:51
stackoverflow.com

5 votes

Nonprintable chars appeared while editing at MO

bug editor asked Feb 12, 2016 at 12:48
meta.stackexchange.com

1 2

Top Answers
37
What is a Dynkin system? ($\lambda$-system)
math.stackexchange.com

15
Proving the existence of a proof without actually giving a proof
math.stackexchange.com

14
Representation theorem for modular lattices?
mathoverflow.net

11
Proof assistants for forward reasoning?
proofassistants.stackexchange.com

10
What are good books for learning about proof assistants for Functional Analysis?
proofassistants.stackexchange.com

8
Classification of Finite Topologies
math.stackexchange.com

8
Is groups with binary operation alone a variety?
math.stackexchange.com

8
An example of set which is not Souslin set
math.stackexchange.com

8
Tracing the classical reasoner in Isabelle
proofassistants.stackexchange.com

6
Counterexamples in universal algebra
mathoverflow.net

6
Problem about $F_\sigma$ and $G_\delta$ sets
math.stackexchange.com

6
Conditions for a intersection of connected sets to be connected.
math.stackexchange.com

6
Why is Isabelle usually not just Isabelle but Isabelle/<xyz>?
proofassistants.stackexchange.com

5
General formula - % of %
math.stackexchange.com

5
$(\omega +3)\cdot\omega=\omega\cdot\omega$
math.stackexchange.com

5
What are permutable equivalence relations intuitively?
math.stackexchange.com

5
Algebras with a self-dual congruence lattice
math.stackexchange.com

5
Linking the Analysis of the Baire space, Cantor space and $\mathbb{R}$.
math.stackexchange.com

5
Large connected $T_2$-spaces
math.stackexchange.com

5
Is there a way to convert free variables to (meta) universally quantified variables in Isabelle?
proofassistants.stackexchange.com