math.LO Mathematical Logic arXiv submissions

Abstracts of math.LO (Logic) papers posted to tweeted daily as embedded images. Click to enlarge. Unaffiliated to ArXiv.

[math.LO Mathematical Logic arXiv submissions @arXiv_math_LO]

https://t.co/jazqgO5hPd
T Kurahashi
Incompleteness and undecidability of theories consistent with
$\mathsf{R}

[math.LO Mathematical Logic arXiv submissions @arXiv_math_LO]

https://t.co/QwxNKhM4bB
D Bartošová et. al.
Big Ramsey Degrees in Ultraproducts of Finite Structures

[math.LO Mathematical Logic arXiv submissions @arXiv_math_LO]

https://t.co/ULX54Cgl4D
W Stafford, V Nascimento
Following all the rules: Intuitionistic completeness for generalised
proof-theoretic validity

[math.LO Mathematical Logic arXiv submissions @arXiv_math_LO]

https://t.co/BjquoOThLp
S Mikulás
Finite Model Properties for Residuated Semigroups

[math.DS Dynamical Systems arXiv submissions @arXiv_math_DS]

https://t.co/jdDe78QtRQ
R Chen et. al.
Nonamenable subforests of multi-ended quasi-pmp graphs

[math.RA Rings and Algebras arXiv submissions @arXiv_math_RA]

https://t.co/yLT9zQCvns
P Zusmanovich
On the utility of Robinson-Amitsur ultrafilters. III

[math.CT Category Theory arXiv submissions @arXiv_math_CT]

https://t.co/sBkfDGLS9i
I D Liberti
The geometry of Coherent topoi and Ultrastructures

[math.LO Mathematical Logic arXiv submissions @arXiv_math_LO]

https://t.co/jEssG4b17i
M Bilkova et. al.
Crisp bi-Gödel modal logic and its paraconsistent expansion

[math.LO Mathematical Logic arXiv submissions @arXiv_math_LO]

https://t.co/WTVU7Oi7k7
P Dittmann
Two examples concerning existential undecidability in fields

[math.LO Mathematical Logic arXiv submissions @arXiv_math_LO]

https://t.co/WTVU7Oi7k7
P Dittmann
Two examples concerning existential undecidability in fields

[math.LO Mathematical Logic arXiv submissions @arXiv_math_LO]

https://t.co/2y2tLY67da
C M H Camrud, T H McNicholl
Hyperarithmetic numerals

[math.LO Mathematical Logic arXiv submissions @arXiv_math_LO]

https://t.co/2y2tLY67da
C M H Camrud, T H McNicholl
Hyperarithmetic numerals

[math.LO Mathematical Logic arXiv submissions @arXiv_math_LO]

https://t.co/ngNZeUmcEg
E Gunther et. al.
The formal verification of the ctm approach to forcing

[math.LO Mathematical Logic arXiv submissions @arXiv_math_LO]

https://t.co/gKQjtjWEX0
I Goldbring, B Hart
A survey on the model theory of tracial von Neumann algebras

[math.LO Mathematical Logic arXiv submissions @arXiv_math_LO]

https://t.co/RiA9Pgs8an
G Badia, D Makinson
First-order friendliness

[math.LO Mathematical Logic arXiv submissions @arXiv_math_LO]

https://t.co/bMqp7AMR1J
J Bergfalk et. al.
The definable content of homological invariants II: Čech cohomology
and homotopy classification

[math.LO Mathematical Logic arXiv submissions @arXiv_math_LO]

https://t.co/nXtL68avBj
D Levinson et. al.
Unreachability of Pointclasses in $L(\mathbb{R})

[math.LO Mathematical Logic arXiv submissions @arXiv_math_LO]

https://t.co/nXtL68sEPr
D Levinson et. al.
Unreachability of Pointclasses in $L(\mathbb{R})

[math.LO Mathematical Logic arXiv submissions @arXiv_math_LO]

https://t.co/FGwR0m8EMm
J Bagaria, P Lücke
Patterns of Structural Reflection in the large-cardinal hierarchy

[math.LO Mathematical Logic arXiv submissions @arXiv_math_LO]

https://t.co/sRHWlrs5hO
A Figallo-Orellano
Leibniz's law and paraconsistent models of ZFC