P（P）
埃德罗
S公司
安切斯
T型
不稳定的
主页
🌐
https://cs.famaf.unc.edu.ar网址/
~pedro/home_en.html
条目
2022
Isabelle/ZF中连续统假设的独立性
通过
埃马纽埃尔·冈瑟
📧
,
米盖尔·帕加诺
🌐
,
佩德罗·桑切斯地形
🌐
和
马蒂亚斯·斯坦伯格
📧
2006年3月
ZFC片段的传递模型
通过
伊曼纽尔·冈瑟
📧
,
米盖尔·帕加诺
🌐
,
佩德罗·桑切斯地形
🌐
和
马蒂亚斯·斯坦伯格
📧
3月3日
2020
余终结性与Delta系统引理
通过
佩德罗·桑切斯地形
🌐
12月27日
Isabelle/ZF中强制的形式化
通过
伊曼纽尔·冈瑟
📧
,
米盖尔·帕加诺
🌐
和
佩德罗·桑切斯地形
🌐
2006年5月