Logic

Authors and titles for August 2021

[1] arXiv:2108.00565 [pdf, other]

Title: Hanf number of the first stability cardinal in AECs

Samson Leung

Comments: 32 pages; typos corrected

Subjects: Logic (math.LO)

[2] arXiv:2108.01543 [pdf, other]

Title: Varieties of class-theoretic potentialism

Neil Barton, Kameryn J. Williams

Comments: (Updated after review.)

Subjects: Logic (math.LO)

[3] arXiv:2108.01566 [pdf, other]

Title: Sentential logics based on k-cyclic modal pseudocomplemented De Morgan algebras

Aldo Figallo-Orellano, Miguel Perez-Gaspar, Juan Manuel Ramirez-Contreras

Subjects: Logic (math.LO)

[4] arXiv:2108.02046 [pdf, other]

Title: Rethinking real numbers as infinite decimals

Martin Klazar

Comments: After arXiv:0910.5870 in 2009 this is my another, hopefully better, attempt to treat infinite decimal expansions

Subjects: Logic (math.LO); History and Overview (math.HO)

[5] arXiv:2108.02677 [pdf, other]

Title: End extending models of set theory via power admissible covers

Zachiri McKenzie, Ali Enayat

Comments: 25 pages

Subjects: Logic (math.LO)

[6] arXiv:2108.03049 [pdf, other]

Title: Structural completeness in many-valued logics with rational constants

J. Gispert, Z. Haniková, T. Moraschini, M. Stronkowski

Subjects: Logic (math.LO)

[7] arXiv:2108.03295 [pdf, other]

Title: A note on non-generators in partially ordered sets

Paolo Lipparini

Comments: 8 pages

Subjects: Logic (math.LO)

[8] arXiv:2108.03574 [pdf, other]

Title: Elementary recursive algorithms

Yiannis N. Moschovakis

Comments: 36 pages

Subjects: Logic (math.LO)

[9] arXiv:2108.03666 [pdf, other]

Title: Are $\mathfrak a$ and $\mathfrak d$ your cup of tea? Revisited

Saharon Shelah

Comments: revisited version of arXiv:math/0012170

Subjects: Logic (math.LO)

[10] arXiv:2108.03672 [pdf, other]

Title: Corrected Iteration

Saharon Shelah

Comments: arXiv admin note: substantial text overlap with arXiv:0904.0817, arXiv:1302.3449

Subjects: Logic (math.LO)

[11] arXiv:2108.03701 [pdf, other]

Title: Cofinal types on $\omega_2$

Borisa Kuzeljevic, Stevo Todorcevic

Subjects: Logic (math.LO)

[12] arXiv:2108.03846 [pdf, other]

Title: On failure of 0-1 laws

Saharon Shelah

Comments: arXiv admin note: substantial text overlap with arXiv:1706.01226

Subjects: Logic (math.LO)

[13] arXiv:2108.03977 [pdf, other]

Title: The Keisler-Shelah isomorphism theorem and the continuum hypothesis

Mohammad Golshani, Saharon Shelah

Comments: This is publication 1215 of second author

Subjects: Logic (math.LO)

[14] arXiv:2108.04132 [pdf, html, other]

Title: Decidability of positive characteristic tame Hahn fields in $\mathcal{L}_t$

Victor Lisinski

Comments: Clarifications to fill gaps in some proofs

Subjects: Logic (math.LO); Number Theory (math.NT)

[15] arXiv:2108.04160 [pdf, other]

Title: On algebraically closed fields with a distinguished subfield

Christian d'Elbée, Itay Kaplan, Leor Neuhauser

Subjects: Logic (math.LO)

[16] arXiv:2108.04400 [pdf, other]

Title: The Diagonal Strong Reflection Principle and its fragments

Sean Cox, Gunter Fuchs

Subjects: Logic (math.LO)

[17] arXiv:2108.04582 [pdf, other]

Title: Against Cumulative Type Theory

Tim Button, Robert Trueman

Comments: Forthcoming in Review of Symbolic Logic

Subjects: Logic (math.LO); History and Overview (math.HO)

[18] arXiv:2108.05314 [pdf, other]

Title: Some simple theories from a Boolean algebra point of view

M. Malliaris, S. Shelah

Comments: [MiSh:1218], 38 pages

Subjects: Logic (math.LO)

[19] arXiv:2108.05526 [pdf, other]

Title: New simple theories from hypergraph sequences

M. Malliaris, S. Shelah

Comments: [MiSh:1206], 14 pages

Journal-ref: Model Th. 3 (2024) 449-464

Subjects: Logic (math.LO)

[20] arXiv:2108.05934 [pdf, other]

Title: How to Make a New Logic

Takao Inoué

Comments: 7 pages

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[21] arXiv:2108.06092 [pdf, other]

Title: A note on fsg groups in p-adically closed fields

Will Johnson

Comments: 10 pages; added acknowledgment and Remark 5.7, fixed typo

Subjects: Logic (math.LO)

[22] arXiv:2108.06348 [pdf, other]

Title: The cumulative hierarchy in Homotopy Type Theory

Ioannis Eleftheriadis

Comments: Appeared in the proceedings of the ESSLLI 2021 student session

Subjects: Logic (math.LO)

[23] arXiv:2108.06604 [pdf, other]

Title: Axiomatic Rejection for the Propositional Fragment of Le\'{s}niewski's Ontology

Takao Inoué, Arata Ishimoto, Mitsunori Kobayashi

Comments: 53 pages

Subjects: Logic (math.LO)

[24] arXiv:2108.06632 [pdf, other]

Title: $I$-regularity, determinacy, and $\infty$-Borel sets of reals

Daisuke Ikegami

Subjects: Logic (math.LO)

[25] arXiv:2108.06727 [pdf, other]

Title: Universality: new criterion for non-existence

Saharon Shelah

Comments: 24 pages, after referee report

Subjects: Logic (math.LO)