Nylogic

Piotr Gruza: Tightness and solidity in fragments of arithmetic 1:05:18
Piotr Gruza: Tightness and solidity in fragments of arithmetic NYLogic 102 7 месяцев назад
Gunter Fuchs: Canonical fragments of the strong reflection principle 1:42:48
Gunter Fuchs: Canonical fragments of the strong reflection principle NYLogic 180 4 года назад
Yudai Suzuki: On the Pi^1_2 consequences of Pi^1_1-CA_0 1:04:13
Yudai Suzuki: On the Pi^1_2 consequences of Pi^1_1-CA_0 NYLogic 91 5 месяцев назад
Athar Abdul-Quader: Pathologically defined subsets of models of CT- 1:08:19
Athar Abdul-Quader: Pathologically defined subsets of models of CT- NYLogic 95 2 года назад
NYLogic Set Theory upcoming Feb 12, 2021: Bea Adam-Day 3:14
NYLogic Set Theory upcoming Feb 12, 2021: Bea Adam-Day Erin Carmody 37 3 года назад
Athar Abdul-Quader: CP-genericity and neutrality 57:54
Athar Abdul-Quader: CP-genericity and neutrality NYLogic 106 4 года назад
Erez Shochat: Automorphism Groups of Countable (Boundedly) Recursively Saturated Models of PA 1:31:25
Erez Shochat: Automorphism Groups of Countable (Boundedly) Recursively Saturated Models of PA NYLogic 76 2 года назад
Java Classes Objects and References in AnyLogic 1:18:40
Java Classes Objects and References in AnyLogic Nathaniel Osgood 1,416 8 лет назад
Leszek Kołodziejczyk: Ramsey's Theorem over RCA0* 1:09:27
Leszek Kołodziejczyk: Ramsey's Theorem over RCA0* NYLogic 95 4 года назад
Roman Kossak: The lattice problem for models of PA 1:13:09
Roman Kossak: The lattice problem for models of PA NYLogic 77 6 месяцев назад
Decision Support System for Argentina's Telecom Market 27:01
Decision Support System for Argentina's Telecom Market AnyLogic 1,137 11 лет назад
Dino Rossegger: The Borel complexity of first-order theories 1:01:52
Dino Rossegger: The Borel complexity of first-order theories NYLogic 196 7 месяцев назад
Bartosz Wcisło: Satisfaction classes with the full collection scheme 1:03:38
Bartosz Wcisło: Satisfaction classes with the full collection scheme NYLogic 145 1 год назад

Сейчас ищут