Logic

Authors and titles for math.LO in Sep 2021, skipping first 20

[21]  arXiv:2109.05383 [pdf, other]

Title: A natural deduction system for orthomodular logic

Authors: Andre Kornell

Comments: 36 pages; "fragment" corrected to "weakening" in the abstract

Subjects: Logic (math.LO); Mathematical Physics (math-ph); Operator Algebras (math.OA); Quantum Physics (quant-ph)

[22]  arXiv:2109.05476 [pdf, ps, other]

Title: Provability Logic: models within models in Peano Arithmetic

Authors: Alessandro Berarducci, Marcello Mamino

Subjects: Logic (math.LO)

[23]  arXiv:2109.05643 [pdf, ps, other]

Title: Restriction in Program Algebra

Authors: Marcel Jackson, Tim Stokes

Comments: 27 pages

Subjects: Logic (math.LO)

[24]  arXiv:2109.05840 [pdf, ps, other]

Title: Iterating the cofinality-$ω$ constructible model

Authors: Ur Ya'ar

Subjects: Logic (math.LO)

[25]  arXiv:2109.05914 [pdf, ps, other]

Title: Partition models, Permutations of infinite sets without fixed points, Variants of CAC, and weak forms of AC

Authors: Amitayu Banerjee

Subjects: Logic (math.LO); Combinatorics (math.CO); General Topology (math.GN); Group Theory (math.GR)

[26]  arXiv:2109.06040 [pdf, ps, other]

Title: Taming the `elsewhere': On expressivity of topological languages

Authors: David Fernández-Duque

Subjects: Logic (math.LO)

[27]  arXiv:2109.06079 [pdf, other]

Title: The Virtual Large Cardinal Hierarchy

Authors: Stamatis Dimopoulos, Victoria Gitman, Dan Saattrup Nielsen

Comments: 26 pages, 2 figures

Subjects: Logic (math.LO)

[28]  arXiv:2109.06140 [pdf, ps, other]

Title: Characterizing the existence of a Borel complete expansion

Authors: Michael C. Laskowski, Douglas S. Ulrich

Subjects: Logic (math.LO)

[29]  arXiv:2109.06258 [pdf, ps, other]

Title: Unprovability in Mathematics: A First Course on Ordinal Analysis

Authors: Anton Freund

Subjects: Logic (math.LO)

[30]  arXiv:2109.06259 [pdf, ps, other]

Title: A new look at Ternary Boolean Algebras

Authors: J. P. Fatelo, N. Martins-Ferreira

Comments: 8 pages

Subjects: Logic (math.LO)