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

Logic

New submissions

[ total of 9 entries: 1-9 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Wed, 8 Dec 21

[1]  arXiv:2112.03833 [pdf, ps, other]
Title: Computational complexity of one-variable fragments of products with T
Comments: 10 pages, in Russian
Subjects: Logic (math.LO)

We show that products of propositional modal logics containing the logic of reflexive frames T as a factor are embeddable into their single-variable fragments. The proof is a simplified version of the proof, to appear, of a similar result for products and expanding relativized products containing as a factor the logic KTB of reflexive and symmetric Kripke frames.

[2]  arXiv:2112.03884 [pdf, ps, other]
Title: Logics of upsets of De Morgan lattices
Authors: Adam Přenosil
Comments: 30 pages, 5 figures
Subjects: Logic (math.LO)

We study logics determined by matrices consisting of a De~Morgan lattice with an upward closed set of designated values, such as the logic of non-falsity preservation in a given finite Boolean algebra and Shramko's logic of non-falsity preservation in the four-element subdirectly irreducible De Morgan lattice. The key tool in the study of these logics is the lattice-theoretic notion of an $n$-filter. We study the logics of all (complete, consistent, and classical) $n$-filters on De Morgan lattices, which are non-adjunctive generalizations of the four-valued logic of Belnap and Dunn (of the three-valued logics of Priest and Kleene, and of classical logic). We then show how to find a finite Hilbert-style axiomatization of any logic determined by a finite family of prime upsets of finite De Morgan lattices and a finite Gentzen-style axiomatization of any logic determined by a finite family of filters on finite De Morgan lattices. As an application, we axiomatize Shramko's logic of anything but falsehood.

Cross-lists for Wed, 8 Dec 21

[3]  arXiv:2112.03447 (cross-list from math.GN) [pdf, ps, other]
Title: Submaximal spaces and cardinal invariants
Authors: César Corral
Comments: 11 pages
Subjects: General Topology (math.GN); Logic (math.LO)

We give a combinatorial characterization of countable submaximal subspaces of $2^\kappa$. Using a parametrized version of Mathias forcing, we prove that there exists a countable submaximal subspace of $2^{\omega_1}$ whilst $\mathfrak{c}=\omega_2$. Combining this with previous results, we construct a disjointly tight countable irresolvable space of weight $<\mathfrak{c}$, answering a question of Bella and Hru\v{s}\'{a}k.

Replacements for Wed, 8 Dec 21

[4]  arXiv:1904.09193 (replaced) [pdf, ps, other]
Title: Cantor-Bernstein implies Excluded Middle
Comments: 6pp / update: corrected an error in the intro wrt applicability of Thm 1, added a couple of acks and a ref
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[5]  arXiv:2106.01734 (replaced) [pdf, ps, other]
Title: Instance reducibility and Weihrauch degrees
Authors: Andrej Bauer
Subjects: Logic (math.LO)
[6]  arXiv:2107.12722 (replaced) [pdf, ps, other]
Title: Strong unfoldability, shrewdness and combinatorial consequences
Authors: Philipp Lücke
Comments: Accepted for publication in the "Proceedings of the American Mathematical Society". 15 pages
Subjects: Logic (math.LO)
[7]  arXiv:2111.09820 (replaced) [pdf, ps, other]
Title: From residuated lattices to $\ell$-groups via free nuclear preimages
Authors: Adam Přenosil
Comments: 37 pages, 1 figure
Subjects: Logic (math.LO)
[8]  arXiv:2004.09981 (replaced) [pdf, ps, other]
Title: Evaluation of motivic functions, non-nullity, and integrability in fibers
Subjects: Algebraic Geometry (math.AG); Logic (math.LO)
[9]  arXiv:2006.14048 (replaced) [pdf, ps, other]
Title: Generic algebraic properties in spaces of enumerated groups
Comments: 47 pages. The problem of existence of co-meager isomorphism classes for the space of left orderable enumerated groups is settled in the negative. Comments welcome!
Subjects: Group Theory (math.GR); Logic (math.LO)
[ total of 9 entries: 1-9 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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