INVESTIGADORES
SANCHEZ TERRAF Pedro Octavio
congresos y reuniones científicas
MARTÍN SANTIAGO MORONI; PEDRO SÁNCHEZ TERRAF
La bisimilitud entre árboles de rango ω + 2 no es suave
Reunión anual de la Unión Matemática Argentina
Lugar: Salta; Año: 2023;
PEDRO SÁNCHEZ TERRAF; GUNTHER, EMMANUEL; PAGANO, MIGUEL; MATÍAS STEINBERG
La independencia de CH formalizada en Isabelle/ZF
Reunión de la Unión Matemática Argentina
Lugar: Neuquén; Año: 2022;
JOEL KUPERMAN; ALEJANDRO PETROVICH; PEDRO SÁNCHEZ TERRAF
Associative posets
BLAST
Lugar: Las Cruces -- Online; Año: 2021;
GUNTHER, EMMANUEL; PAGANO, MIGUEL; PEDRO SÁNCHEZ TERRAF; MATÍAS STEINBERG
Some lesson after the formalization of the ctm approach to forcing
Coloquio Latinoamericano de Matemáticos
Año: 2021;
ALEJANDRO PETROVICH; PEDRO SÁNCHEZ TERRAF
Posets Asociativos
SUMA 2019 -- Reunión de la Unión Matemática Argentina junto a la SOMACHI
Lugar: Mendoza; Año: 2019;
YINHE PENG; PEDRO SÁNCHEZ TERRAF; WILLIAM WEISS
Regressive order on subsets of regular cardinals
International Congress of Mathematicians
Lugar: Rio de Janeiro; Año: 2018;
YINHE PENG; PEDRO SÁNCHEZ TERRAF; WILLIAM WEISS
Orden regressivo en omega_1
Reunión de la Unión Matemática Argentina / Real Sociedad Matemática de España
Lugar: Buenos Aires; Año: 2017;
PEDRO SÁNCHEZ TERRAF
Selecciones medibles
Reunión de la Unión Matemática Argentina
Lugar: Santa Fe; Año: 2015;
MIGUEL CAMPERCHOLI; DANIEL PENAZZI; PEDRO SÁNCHEZ TERRAF
Permutable bisimulation equivalences of Kripke frames
Congreso Latinoamericano de Álgebra
Lugar: Lima; Año: 2014;
PEDRO SÁNCHEZ TERRAF
Factorización Unica, Refinamiento y Definibilidad
Congreso Latinoamericano de Matemáticos
Lugar: Córdoba; Año: 2012;
PEDRO SÁNCHEZ TERRAF; PEDRO R. D'ARGENIO; NICOLAS WOLOVICK
Logics for Markov Desicion Processes
Simposio Latinoamericano de Lógica Matemática
Lugar: Bogotá; Año: 2012;
PEDRO SÁNCHEZ TERRAF
Indemostrabilidad de la Caracterizacion Lógica de la Bisimulacion
Reunión de la Unión Matemática Argentina
Lugar: Tandil, Buenos Aires; Año: 2010;
PEDRO R. D'ARGENIO; NICOLAS WOLOVICK; PABLO CELAYES; PEDRO SÁNCHEZ TERRAF
Procesos de Markov Etiquetados No Deterministas
Reunión de la Unión Matemática Argentina
Lugar: Mar del Plata, Buenos Aires; Año: 2009;
PEDRO SÁNCHEZ TERRAF
Cómo hacer que la Computadora piense por uno en Álgebra Universal
III Encuentro Nacional de Álgebra (elENA3)
Lugar: Vaquerías, Valle Hermoso, Córdoba; Año: 2006;
PEDRO SÁNCHEZ TERRAF
Varieties with Definable Factor Congruences
Conference on UNIVERSAL ALGEBRA AND LATTICE THEORY
Lugar: Szeged, Hungría; Año: 2005;
PEDRO SÁNCHEZ TERRAF
Elementos Centrales y Congruencias Factor Booleanas
II Encuentro Nacional de Álgebra (elENA2)
Lugar: Vaquerías, Valle Hermoso, Córdoba; Año: 2004;
PEDRO SÁNCHEZ TERRAF
Congruencias factor compactas implican congruencias factor Booleanas
Reunión Anual de la Unión Matemática Argentina
Lugar: Río Cuarto, Córdoba; Año: 2003;
