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

Logic

New submissions

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

New submissions for Wed, 8 Feb 23

[1]  arXiv:2302.03315 [pdf, ps, other]
Title: Dp-finite and Noetherian NIP integral domains
Authors: Will Johnson
Comments: 23 pages
Subjects: Logic (math.LO); Commutative Algebra (math.AC)

We prove some results on NIP integral domains, especially those that are Noetherian or have finite dp-rank. If $R$ is an NIP Noetherian domain that is not a field, then $R$ is a semilocal ring of Krull dimension 1, and the fraction field of $R$ has characteristic 0. Assuming the henselianity conjecture (on NIP valued fields), $R$ is a henselian local ring. Additionally, we show that integral domains of finite dp-rank are henselian local rings. Finally, we lay some groundwork for the study of Noetherian domains of finite dp-rank, and we classify dp-minimal Noetherian domains.

[2]  arXiv:2302.03674 [pdf, ps, other]
Title: Choice-free Topological Duality for Implicative Lattices and Heyting Algebras
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

We develop a common semantic framework for the interpretation both of $\mathbf{IPC}$, the intuitionistic propositional calculus, and of logics weaker than $\mathbf{IPC}$ (substructural and subintuitionistic logics). This is done by proving a choice-free representation and duality theorem for implicative lattices, which may or may not be distributive. The duality specializes to a choice-free duality for the category of Heyting algebras and a category of topological sorted frames with a ternary sorted relation.

Replacements for Wed, 8 Feb 23

[3]  arXiv:2211.04213 (replaced) [pdf, other]
Title: Some Remarks on Kim-dividing in NATP Theories
Comments: Corrected typos. Added new remarks, including that the class of all omega-NDCTP2 theories contains all NTP1 theories and all NTP2 theories
Subjects: Logic (math.LO)
[4]  arXiv:2212.14171 (replaced) [pdf, ps, other]
Title: A Measure Theoretic Proof of $\mathfrak p=\mathfrak t$
Authors: James Hirschorn
Comments: Discuss connections with the cardinal characteristic lr
Subjects: Logic (math.LO)
[5]  arXiv:2211.06447 (replaced) [pdf, ps, other]
Title: Modern Light on Ancient Logic
Authors: Clarence Protin
Subjects: History and Overview (math.HO); Logic (math.LO)
[ total of 5 entries: 1-5 ]
[ showing up to 1000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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