arXiv math.LO logic

Keehang Kwon, Daeseong Kang : Agent-Based Proof Design via Lemma Flow Diagram https://arxiv.org/abs/2002.00666  https://arxiv.org/pdf/2002.00666 

Gabriel Bittencourt Rios, Daniel de Almeida Souza, Darllan Conceição Pinto, Hugo Luiz Mariano : Connecting Abstract Logics and adjunctions between Institutions and $π$-Institutions https://arxiv.org/abs/2002.00298  https://arxiv.org/pdf/2002.00298 

D. Vaggione, W. J. Zuluaga Botero : Pierce stalks in preprimal varieties https://arxiv.org/abs/2002.00109  https://arxiv.org/pdf/2002.00109 

*** [04 Feb] New submissions for math . LO ***

Jing Zhang : Reflection principles, GCH and the uniformization properties https://arxiv.org/abs/2001.12005  https://arxiv.org/pdf/2001.12005 

*** [03 Feb] New submissions for math . LO ***

Eran Alouf : On dp-minimal expansions of the integers https://arxiv.org/abs/2001.11480  https://arxiv.org/pdf/2001.11480 

Guram Bezhanishvili, Nick Bezhanishvili, Luca Carai, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze : Diego's Theorem for nuclear implicative semilattices https://arxiv.org/abs/2001.11060  https://arxiv.org/pdf/2001.11060 

Ali Enayat, Vladimir Kanovei : An unpublished theorem of Solovay, revisited https://arxiv.org/abs/2001.11058  https://arxiv.org/pdf/2001.11058 

*** [31 Jan] New submissions for math . LO ***

*** [30 Jan] arXiv:math . LO cannot be obtained. No Article found. ***

Roger D. Maddux : Tarski's classical relevant logic https://arxiv.org/abs/2001.10333  https://arxiv.org/pdf/2001.10333 

*** [29 Jan] New submissions for math . LO ***

Olga Kharlampovich, Christopher Natoli : Non-$\forall$-homogeneity in free groups https://arxiv.org/abs/2001.09904  https://arxiv.org/pdf/2001.09904 

Lu Liu : Highness notion below PA-completeness https://arxiv.org/abs/2001.09709  https://arxiv.org/pdf/2001.09709 

Linda Westrick : A note on the diamond operator https://arxiv.org/abs/2001.09372  https://arxiv.org/pdf/2001.09372 

Ali Enayat : A Barwise-Schlipf Theorem for Set Theory https://arxiv.org/abs/2001.09243  https://arxiv.org/pdf/2001.09243 

Steve Awodey : Sheaf Representations and Duality in Logic https://arxiv.org/abs/2001.09195  https://arxiv.org/pdf/2001.09195 

*** [28 Jan] New submissions for math . LO ***

Aleksandr Yu. Konovalov : Generalized Realizability and Basic Logic https://arxiv.org/abs/2001.08989  https://arxiv.org/pdf/2001.08989