1:05:41
Ali Enayat: Tarski's undefinability of truth theorem strikes again, Part II
303 views • 4 weeks ago
1:05:00
Ali Enayat: Tarski's undefinability of truth theorem strikes again
395 views • 1 month ago
1:04:13
Yudai Suzuki: On the Pi^1_2 consequences of Pi^1_1-CA_0
86 views • 1 month ago
1:17:03
Athar Abdul-Quader: Representations of lattices Part II
61 views • 2 months ago
1:15:26
Athar Abdul-Quader: Representations of lattices
72 views • 2 months ago
1:18:48
Roman Kossak: The lattice problem for models of PA (Part II)
36 views • 2 months ago
1:14:50
Chris Lambie-Hanson: squares, ultrafilters and forcing axioms
100 views • 2 months ago
1:19:05
Jonathan Osinski: model theory of class-sized logics
182 views • 2 months ago
1:13:09
Roman Kossak: The lattice problem for models of PA
69 views • 2 months ago
49:27
Albert Visser: Restricted Completions
103 views • 3 months ago
1:05:18
Piotr Gruza: Tightness and solidity in fragments of arithmetic
91 views • 3 months ago
1:01:04
Elliot Glazer: Explicit models of arithmetic do not have full standard system
151 views • 3 months ago
1:01:52
Dino Rossegger: The Borel complexity of first-order theories
192 views • 4 months ago
1:03:33
Dima Sinapova: Mutual stationarity and the failure of SCH
72 views • 4 months ago
1:03:54
Karel Hrbáček: Multi-level nonstandard analysis, the axiom of choice, and recent work of R. Jin
173 views • 6 months ago
1:01:59
Mateusz Łełyk: Simplest model properties for PA: On a question of Montalban and Rossegger
84 views • 6 months ago
1:13:15
Saeideh Bahrami: I-small submodels of countable models of arithmetic
128 views • 6 months ago
1:08:53
Sun Mengzhou: On the (non)elementarity of cofinal extension
145 views • 7 months ago
1:13:06
Stefan Hetzl: Arithmetical theories and the automation of induction
138 views • 7 months ago
1:30:18
Alessandro Berarducci: Provability logic: models within models in Peano Arithmetic
157 views • 7 months ago
48:51
Elliot Glazer: Coin flipping on models of arithmetic to define the standard cut
171 views • 7 months ago
1:24:27
Miha Habic: Some old and new results on nonamalgamable forcing extensions
141 views • 1 year ago
1:20:46
Joel David Hamkins: Realizing Frege's Basic Law V provably in ZFC
622 views • 1 year ago
1:12:07
Will Boney: Building generalized indiscernibles in AECs with set theory
68 views • 1 year ago
39:29
Mohammad Golshani: The proper forcing axiom for $\aleph_1$-sized posets and the CH
90 views • 1 year ago
1:29:14
Gabriel Goldberg: Cardinal preserving embeddings and strong compactness
266 views • 1 year ago
1:13:02
Jonathan Osinski: Model-theoretic characterizations of weak Vopenka's principle
115 views • 1 year ago
41:32
James Holland: Forcing more choice over the Chang model
52 views • 1 year ago
1:03:12
Mateusz Łełyk: Pathologies in Satisfaction Classes (Part II)
60 views • 1 year ago
1:16:53
Mateusz Łełyk: Pathologies in Satisfaction Classes
87 views • 1 year ago
Load More