Logic

Authors and titles for July 2019

[1] arXiv:1907.00202 [pdf, other]

Title: Recursive axiomatisations from separation properties

Rob Egrot

Comments: Version 3 includes extended exposition and some rewriting for clarity

Journal-ref: Journal of Symbolic Logic 86, 1228 - 1258, 2021

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

[2] arXiv:1907.00284 [pdf, other]

Title: The large cardinal strength of Weak Vopěnka's Principle

Trevor M. Wilson

Subjects: Logic (math.LO)

[3] arXiv:1907.00306 [pdf, other]

Title: Fixed-point properties for predicate modal logics

Sohei Iwata, Taishi Kurahashi

Comments: 24 pages

Subjects: Logic (math.LO)

[4] arXiv:1907.00412 [pdf, other]

Title: Upper bounds on the graph minor theorem

Martin Krombholz, Michael Rathjen

Comments: 19 pages 1 figure

Subjects: Logic (math.LO); Computational Complexity (cs.CC)

[5] arXiv:1907.00432 [pdf, other]

Title: On countably saturated linear orders and certain class of countably saturated graphs

Ziemowit Kostana

Comments: Version 1.3 - version submitted to Archive for Mathematical Logic, after substantial revision

Subjects: Logic (math.LO)

[6] arXiv:1907.00658 [pdf, other]

Title: On the Notions of Rudimentarity, Primitive Recursivity and Representability of Functions and Relations

Saeed Salehi

Comments: 18 pages

Journal-ref: Reports on Mathematical Logic 55 (2020) 73--85

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

[7] arXiv:1907.00742 [pdf, other]

Title: Determined Admissible Sets

Juan P. Aguilera

Comments: 15 pages

Subjects: Logic (math.LO)

[8] arXiv:1907.00877 [pdf, other]

Title: A weak set theory that proves its own consistency

Fedor Pakhomov

Comments: 25 pages

Subjects: Logic (math.LO)

[9] arXiv:1907.02398 [pdf, other]

Title: Metastable convergence and logical compactness

Xavier Caicedo, Eduardo Duenez, Jose Iovino

Subjects: Logic (math.LO)

[10] arXiv:1907.02660 [pdf, other]

Title: The Algebra of an Age for Metrically Homogeneous Graphs of Generic Type

Rebecca Coulson

Comments: 10 pages

Subjects: Logic (math.LO); Group Theory (math.GR)

[11] arXiv:1907.02738 [pdf, other]

Title: Unsharp residuation in effect algebras

Ivan Chajda, Helmut Länger

Subjects: Logic (math.LO)

[12] arXiv:1907.02755 [pdf, other]

Title: The Axiom of Determinacy Implies Dependent Choices in Mice

Sandra Müller

Subjects: Logic (math.LO)

[13] arXiv:1907.02769 [pdf, other]

Title: A comparison of various analytic choice principles

Paul-Elliot Anglès d'Auriac, Takayuki Kihara

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

[14] arXiv:1907.02949 [pdf, other]

Title: Proofs and surfaces

Djordje Baralic, Pierre-Louis Curien, Marina Milicevic, Jovana Obradovic, Zoran Petric, Mladen Zekic, Rade T. Zivaljevic

Comments: 41 pages

Subjects: Logic (math.LO)

[15] arXiv:1907.03111 [pdf, other]

Title: The higher Cichon diagram in the degenerate case

Joerg Brendle

Comments: 13 pages. Revised version. Major changes in section 1

Subjects: Logic (math.LO)

[16] arXiv:1907.03142 [pdf, other]

Title: Indestructibility of the tree property

Radek Honzik, Sarka Stejskalova

Comments: 22 pages, submitted

Journal-ref: J. symb. log. 85 (2020) 467-485

Subjects: Logic (math.LO)

[17] arXiv:1907.03147 [pdf, other]

Title: HTP-complete rings of rational numbers

Russell Miller

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

[18] arXiv:1907.03254 [pdf, other]

Title: Infinite monochromatic paths and a theorem of Erdos-Hajnal-Rado

Shimon Garti, Menachem Magidor, Saharon Shelah

Comments: 12 pages, to appear

Journal-ref: Electronic journal of combinatorics, vol. 27, issue 2, paper 2.8, 2020

Subjects: Logic (math.LO); Combinatorics (math.CO)

[19] arXiv:1907.03273 [pdf, other]

Title: Direct spectra of Bishop spaces and their limits

Iosif Petrakis

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 2 (April 14, 2021) lmcs:5615

Subjects: Logic (math.LO)

[20] arXiv:1907.03553 [pdf, other]

Title: Degrees of bi-embeddable categoricity

Nikolay Bazhenov, Ekaterina Fokina, Dino Rossegger, Luca San Mauro

Comments: 18 pages

Journal-ref: Computability, vol. 10 (2021), no. 1, pp. 1-16

Subjects: Logic (math.LO)

[21] arXiv:1907.03583 [pdf, other]

Title: Projective Games on the Reals

Juan P. Aguilera, Sandra Müller

Comments: 15 pages

Subjects: Logic (math.LO)

[22] arXiv:1907.03737 [pdf, other]

Title: Easton's theorem for the tree property below aleph_omega

Sarka Stejskalova

Comments: 24 pages, submitted

Subjects: Logic (math.LO)

[23] arXiv:1907.03753 [pdf, html, other]

Title: Foundations for conditional probability

Ladislav Mečíř

Subjects: Logic (math.LO); Probability (math.PR)

[24] arXiv:1907.03849 [pdf, other]

Title: Interpretability logics and generalized Veltman semantics

Luka Mikec, Mladen Vuković

Comments: 20 pages, 1 figure

Subjects: Logic (math.LO)

[25] arXiv:1907.04477 [pdf, other]

Title: Epsilon Theorems in Intermediate Logics

Matthias Baaz, Richard Zach

Subjects: Logic (math.LO)