We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic

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

[ total of 78 entries: 1-10 | 11-20 | 21-30 | 31-40 | 41-50 | 51-60 | ... | 71-78 ]
[ showing 10 entries per page: fewer | more | all ]
[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
Subjects: Logic (math.LO)
[23]  arXiv:2109.05643 [pdf, ps, other]
Title: Restriction in Program Algebra
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
Subjects: Logic (math.LO)
[27]  arXiv:2109.06079 [pdf, other]
Title: The Virtual Large Cardinal Hierarchy
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
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
Comments: 8 pages
Subjects: Logic (math.LO)
[ total of 78 entries: 1-10 | 11-20 | 21-30 | 31-40 | 41-50 | 51-60 | ... | 71-78 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, 2205, contact, help  (Access key information)