Logic

New submissions

• New submissions
• Replacements

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

Authors: Chrysafis Hartonas

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

Authors: Joonhee Kim, Hyoyoon Lee

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)

• New submissions
• Replacements