Канал: NYLogic - Смотреть видео c канала или скачать видео c канала в MP4, музыку MP3 на телефон или компьютер.

$Andreas Lietz: Forcing ``NS_{\omega_1} is \omega_1-dense'' from large cardinals (part I)$

Leszek Kołodziejczyk: Models of fragments of PA with low Scott rank

NYLogic

NYLogic

Leszek Kołodziejczyk: Models of fragments of PA with low Scott rank

Mateusz Łełyk: Varieties of truth definitions

Zachiri Mckenzie: Well-founded models of fragments of Collection

Bartosz Wcisło: Saturation properties for propositionally sound satisfaction classes

Piotr Gruza: Separations between categoricity-like properties of first-order theories (Part II)

Piotr Gruza: Separations between categoricity-like properties of first-order theories

Sun Mengzhou: Kaufmann–Clote question on end extensions of models of arithmetic / weak regularity

Ali Enayat: Tarski's undefinability of truth theorem strikes again, Part II

Ali Enayat: Tarski's undefinability of truth theorem strikes again

Yudai Suzuki: On the Pi^1_2 consequences of Pi^1_1-CA_0

Athar Abdul-Quader: Representations of lattices Part II

Athar Abdul-Quader: Representations of lattices

Roman Kossak: The lattice problem for models of PA (Part II)

Chris Lambie-Hanson: squares, ultrafilters and forcing axioms

Jonathan Osinski: model theory of class-sized logics

Roman Kossak: The lattice problem for models of PA

Albert Visser: Restricted Completions

Piotr Gruza: Tightness and solidity in fragments of arithmetic

Elliot Glazer: Explicit models of arithmetic do not have full standard system

Dino Rossegger: The Borel complexity of first-order theories

Dima Sinapova: Mutual stationarity and the failure of SCH

Karel Hrbáček: Multi-level nonstandard analysis, the axiom of choice, and recent work of R. Jin

Mateusz Łełyk: Simplest model properties for PA: On a question of Montalban and Rossegger

Saeideh Bahrami: I-small submodels of countable models of arithmetic

Sun Mengzhou: On the (non)elementarity of cofinal extension

Stefan Hetzl: Arithmetical theories and the automation of induction

Alessandro Berarducci: Provability logic: models within models in Peano Arithmetic

Elliot Glazer: Coin flipping on models of arithmetic to define the standard cut

Miha Habic: Some old and new results on nonamalgamable forcing extensions

Joel David Hamkins: Realizing Frege's Basic Law V provably in ZFC

Will Boney: Building generalized indiscernibles in AECs with set theory

Mohammad Golshani: The proper forcing axiom for $\aleph_1$-sized posets and the CH

Gabriel Goldberg: Cardinal preserving embeddings and strong compactness

Jonathan Osinski: Model-theoretic characterizations of weak Vopenka's principle

James Holland: Forcing more choice over the Chang model

Mateusz Łełyk: Pathologies in Satisfaction Classes (Part II)

Mateusz Łełyk: Pathologies in Satisfaction Classes

Katarzyna W. Kowalik: The chain-antichain principle and proof size

Bartosz Wcisło: Satisfaction classes with the full collection scheme, Part II

Bartosz Wcisło: Satisfaction classes with the full collection scheme

Bellaouar Djamel: Some generalizations on the representation of unlimited natural numbers

Zuzana Hanikova: Vopěnka's Alternative Set Theory and its mathematical context

Russell Miller: Computability and the absolute Galois group of Q

Alexei Miasnikov: First-order classification and non-standard models

Kanovei: On the significance of parameters in the choice+сomprehension schemata in the 2nd-order PA

Davide Leonessi: Strategy and determinacy in infinite Hex

Jing Zhang: Highly connected Ramsey theory

V. Kanovei: Significance of parameters in comprehension & choice schemata in 2nd order arithmetic

Brent Cody: Sparse analytic systems

Peter Holy: Asymmetric cut and choose games

Mikhail Katz: Effective Infinitesimals in R

Lorenzo Galeotti : Order types of models of arithmetic without induction

Karel Hrbacek: Representation of unlimited integers

Arseniy Sheydvasser: Are higher-rank arithmetic groups uniformly bi-interpretable with arithmetic?

Joel David Hamkins: Pointwise definable / Leibnizian extensions of models of arithmetic / set theory

Roman Kossak: Generalized Quantifiers in Arithmetic, Part II

Roman Kossak: Generalized Quantifiers in Arithmetic

Ali Enayat: Tightness, solidity, and internal categoricity Part II

Sakae Fuchino: Definability of Laver-generic large cardinals [...]

Victoria Gitman: Jensen's forcing at an inaccessible

Ali Enayat: Tightness, solidity, and internal categoricity

Kameryn Williams: Tightness in second-order arithmetic

Andreas Lietz: Forcing ``NS_{\omega_1} is \omega_1-dense'' from large cardinals (part I)

Philipp Lücke: Large cardinals, strong logics and reflection principles

Hans Schoutens: the model theory of categories

Fedor Pakhomov: How to escape Tennenbaum's theorem

Athar Abdul-Quader: Pathologically defined subsets of models of CT-

Russell Miller: Interpreting a field in its Heisenberg group

William Chan: Determinacy and partition properties, part II

William Chan: Determinacy and partition properties, part I

Andrew Brooke-Taylor: Categorifying Borel reducibility

Tin Lok Wong: Another quantifier-elimination result in arithmetic under negated induction

Laurence Kirby: The winding road to mathematical independence results for PA

Ken McAloon: "E Pluribus Unum"

Saeed Salehi: ω-Consistency: Gödel’s “much weaker” notion of soundness

James Holland: Weak Indestructibility and Reflection

Andreas Blass: Do These Ultrafilters exist? Part II: Not Tukey Top