math.LO Mathematical Logic arXiv submissions

2.5K posts

math.LO Mathematical Logic arXiv submissions

@arXiv_math_LO

Abstracts of math.LO (Logic) papers posted to https://t.co/RuAS0G4T22 tweeted daily as embedded images. Click to enlarge. Unaffiliated to ArXiv.

arxiv.org/list/math.LO/recent Katılım Eylül 2016

28 Takip Edilen931 Takipçiler

math.LO Mathematical Logic arXiv submissions@arXiv_math_LO·29 Kas

arxiv.org/abs/2211.15455… T Kurahashi Incompleteness and undecidability of theories consistent with $\mathsf{R}

math.LO Mathematical Logic arXiv submissions tweet media

English

math.LO Mathematical Logic arXiv submissions@arXiv_math_LO·25 Kas

arxiv.org/abs/2211.12936… D Bartošová et. al. Big Ramsey Degrees in Ultraproducts of Finite Structures

math.LO Mathematical Logic arXiv submissions@arXiv_math_LO·25 Kas

arxiv.org/abs/2211.12563… W Stafford, V Nascimento Following all the rules: Intuitionistic completeness for generalised proof-theoretic validity

English

math.LO Mathematical Logic arXiv submissions@arXiv_math_LO·22 Kas

arxiv.org/abs/2211.11685… S Mikulás Finite Model Properties for Residuated Semigroups

Español

math.LO Mathematical Logic arXiv submissions retweetledi

math.DS Dynamical Systems arXiv submissions@arXiv_math_DS·16 Kas

arxiv.org/abs/2211.07908… R Chen et. al. Nonamenable subforests of multi-ended quasi-pmp graphs

math.DS Dynamical Systems arXiv submissions tweet media

English

math.LO Mathematical Logic arXiv submissions retweetledi

math.RA Rings and Algebras arXiv submissions@arXiv_math_RA·15 Kas

arxiv.org/abs/2211.06633… P Zusmanovich On the utility of Robinson-Amitsur ultrafilters. III

math.RA Rings and Algebras arXiv submissions tweet media

Deutsch

math.LO Mathematical Logic arXiv submissions retweetledi

math.CT Category Theory arXiv submissions@arXiv_math_CT·8 Kas

arxiv.org/abs/2211.03104… I D Liberti The geometry of Coherent topoi and Ultrastructures

math.CT Category Theory arXiv submissions tweet media

English

math.LO Mathematical Logic arXiv submissions@arXiv_math_LO·6 Kas

arxiv.org/abs/2211.01882… M Bilkova et. al. Crisp bi-Gödel modal logic and its paraconsistent expansion

Català

math.LO Mathematical Logic arXiv submissions@arXiv_math_LO·5 Kas

arxiv.org/abs/2211.01775… P Dittmann Two examples concerning existential undecidability in fields

English

math.LO Mathematical Logic arXiv submissions@arXiv_math_LO·4 Kas

arxiv.org/abs/2211.01775… P Dittmann Two examples concerning existential undecidability in fields

English

math.LO Mathematical Logic arXiv submissions@arXiv_math_LO·4 Kas

arxiv.org/abs/2211.01181… C M H Camrud, T H McNicholl Hyperarithmetic numerals

English

math.LO Mathematical Logic arXiv submissions@arXiv_math_LO·3 Kas

arxiv.org/abs/2211.01181… C M H Camrud, T H McNicholl Hyperarithmetic numerals

English

math.LO Mathematical Logic arXiv submissions@arXiv_math_LO·30 Eki

arxiv.org/abs/2210.15609… E Gunther et. al. The formal verification of the ctm approach to forcing

English

math.LO Mathematical Logic arXiv submissions@arXiv_math_LO·29 Eki

arxiv.org/abs/2210.15508… I Goldbring, B Hart A survey on the model theory of tracial von Neumann algebras

English

math.LO Mathematical Logic arXiv submissions@arXiv_math_LO·26 Eki

arxiv.org/abs/2210.13953… G Badia, D Makinson First-order friendliness

English

math.LO Mathematical Logic arXiv submissions@arXiv_math_LO·24 Eki

arxiv.org/abs/2210.11098… 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·20 Eki

arxiv.org/abs/2210.10076… D Levinson et. al. Unreachability of Pointclasses in $L(\mathbb{R})

English

math.LO Mathematical Logic arXiv submissions@arXiv_math_LO·20 Eki

arxiv.org/abs/2210.10076… D Levinson et. al. Unreachability of Pointclasses in $L(\mathbb{R})

English

math.LO Mathematical Logic arXiv submissions@arXiv_math_LO·16 Eki

arxiv.org/abs/2210.07120… J Bagaria, P Lücke Patterns of Structural Reflection in the large-cardinal hierarchy

Română

math.LO Mathematical Logic arXiv submissions@arXiv_math_LO·16 Eki

arxiv.org/abs/2210.06626… A Figallo-Orellano Leibniz's law and paraconsistent models of ZFC

Català

Keşfet

@elonmusk @BarackObama @taylorswift13 @cristiano @BillGates @NASA @nikifrancismediavine @katyperry