NYLogic
368 subscribers
1:04:13
Yudai Suzuki: On the Pi^1_2 consequences of Pi^1_1-CA_0
NYLogic
80 views • 10 days ago
1:17:03
Athar Abdul-Quader: Representations of lattices Part II
NYLogic
54 views • 2 weeks ago
1:15:26
Athar Abdul-Quader: Representations of lattices
NYLogic
66 views • 3 weeks ago
1:18:48
Roman Kossak: The lattice problem for models of PA (Part II)
NYLogic
29 views • 1 month ago
1:14:50
Chris Lambie-Hanson: squares, ultrafilters and forcing axioms
NYLogic
78 views • 1 month ago
1:19:05
Jonathan Osinski: model theory of class-sized logics
NYLogic
139 views • 1 month ago
1:13:09
Roman Kossak: The lattice problem for models of PA
NYLogic
59 views • 1 month ago
49:27
Albert Visser: Restricted Completions
NYLogic
94 views • 1 month ago
1:05:18
Piotr Gruza: Tightness and solidity in fragments of arithmetic
NYLogic
83 views • 1 month ago
1:01:04
Elliot Glazer: Explicit models of arithmetic do not have full standard system
NYLogic
139 views • 2 months ago
1:01:52
Dino Rossegger: The Borel complexity of first-order theories
NYLogic
186 views • 2 months ago
1:03:33
Dima Sinapova: Mutual stationarity and the failure of SCH
NYLogic
66 views • 2 months ago
1:03:54
Karel Hrbáček: Multi-level nonstandard analysis, the axiom of choice, and recent work of R. Jin
NYLogic
167 views • 4 months ago
1:01:59
Mateusz Łełyk: Simplest model properties for PA: On a question of Montalban and Rossegger
NYLogic
80 views • 4 months ago
1:13:15
Saeideh Bahrami: I-small submodels of countable models of arithmetic
NYLogic
121 views • 5 months ago
1:08:53
Sun Mengzhou: On the (non)elementarity of cofinal extension
NYLogic
132 views • 5 months ago
1:13:06
Stefan Hetzl: Arithmetical theories and the automation of induction
NYLogic
133 views • 5 months ago
1:30:18
Alessandro Berarducci: Provability logic: models within models in Peano Arithmetic
NYLogic
146 views • 6 months ago
48:51
Elliot Glazer: Coin flipping on models of arithmetic to define the standard cut
NYLogic
154 views • 6 months ago
1:24:27
Miha Habic: Some old and new results on nonamalgamable forcing extensions
NYLogic
139 views • 11 months ago
1:20:46
Joel David Hamkins: Realizing Frege's Basic Law V provably in ZFC
NYLogic
591 views • 11 months ago
1:12:07
Will Boney: Building generalized indiscernibles in AECs with set theory
NYLogic
65 views • 11 months ago
39:29
Mohammad Golshani: The proper forcing axiom for $\aleph_1$-sized posets and the CH
NYLogic
84 views • 11 months ago
1:29:14
Gabriel Goldberg: Cardinal preserving embeddings and strong compactness
NYLogic
255 views • 11 months ago
1:13:02
Jonathan Osinski: Model-theoretic characterizations of weak Vopenka's principle
NYLogic
109 views • 11 months ago
41:32
James Holland: Forcing more choice over the Chang model
NYLogic
50 views • 11 months ago
1:03:12
Mateusz Łełyk: Pathologies in Satisfaction Classes (Part II)
NYLogic
59 views • 11 months ago
1:16:53
Mateusz Łełyk: Pathologies in Satisfaction Classes
NYLogic
85 views • 1 year ago
1:08:38
Katarzyna W. Kowalik: The chain-antichain principle and proof size
NYLogic
148 views • 1 year ago
1:15:18
Bartosz Wcisło: Satisfaction classes with the full collection scheme, Part II
NYLogic
82 views • 1 year ago
Load More