Logic

Authors and titles for March 2013

[26] arXiv:1303.5247 [pdf, other]

Title: Model Theory for a Compact Cardinal

Saharon Shelah

Subjects: Logic (math.LO)

[27] arXiv:1303.5777 [pdf, other]

Title: Exponential prefixed polynomial equations

Aran Nayebi

Journal-ref: ASL European Summer Meeting - Logic Colloquium 2013. Abstract published in: Bulletin of Symbolic Logic, 20(2): 252, June 2014

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

[28] arXiv:1303.6429 [pdf, other]

Title: Differentiation in P-minimal structures and a p-adic Local Monotonicity Theorem

Tristan Kuijpers, Eva Leenknegt

Comments: 17 pages

Subjects: Logic (math.LO)

[29] arXiv:1303.6759 [pdf, other]

Title: Chains of Theories and Companionability

Özcan Kasal, David Pierce

Comments: 12 pages

Subjects: Logic (math.LO)

[30] arXiv:1303.7051 [pdf, other]

Title: Constructive aspects of Riemann's permutation theorem for series

J. Berger, D. Bridges, H. Diener, H. Schwichtenberg

Subjects: Logic (math.LO)

[31] arXiv:1303.7386 [pdf, other]

Title: What is the spirit of the cylindric paradigm, as opposed to that of the polyadic one?

Tarek Sayed Ahmed

Comments: 88 pages. arXiv admin note: text overlap with arXiv:1302.0365

Subjects: Logic (math.LO)

[32] arXiv:1303.7429 [pdf, other]

Title: Towards a Ryll-Nardzewski-type Theorem for weakly oligomorphic structures

Christian Pech, Maja Pech

Comments: 20 pages

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

[33] arXiv:1303.0399 (cross-list from gr-qc) [pdf, other]

Title: The Existence of Superluminal Particles is Consistent with Relativistic Dynamics

Judit X. Madarász, Gergely Székely

Comments: 29 pages, 11 figures. arXiv admin note: text overlap with arXiv:1202.5790

Journal-ref: Journal of Applied Logic 12:(4) pp. 477-500. (2014)

Subjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Logic (math.LO)

[34] arXiv:1303.0584 (cross-list from math.CT) [pdf, other]

Title: Univalent categories and the Rezk completion

Benedikt Ahrens, Chris Kapulkin, Michael Shulman

Comments: 27 pages, ancillary files contain formalized proofs in the proof assistant Coq; v2: version for publication in Math. Struct. in Comp. Sci., incorporating suggestions by referees and Voevodsky

Journal-ref: Math. Struct. Comp. Sci. 25 (2015) 1010-1039

Subjects: Category Theory (math.CT); Logic (math.LO)

[35] arXiv:1303.0815 (cross-list from math.GN) [pdf, other]

Title: Products of sequentially compact spaces and compactness with respect to a set of filters

Paolo Lipparini

Comments: v3, entirely rewritten with many additions; v4, fixed some details; v5, a few improvements

Journal-ref: Sections 6-7 published on Rend. Istit. Mat. Univ. Trieste Vol. 54 (2022), Art. No. 8

Subjects: General Topology (math.GN); Logic (math.LO)

[36] arXiv:1303.2435 (cross-list from math.NT) [pdf, other]

Title: Set Theory and p-adic Algebras

Tomoki Mihara

Comments: 19 pages

Subjects: Number Theory (math.NT); Functional Analysis (math.FA); General Topology (math.GN); Logic (math.LO)

[37] arXiv:1303.2453 (cross-list from cs.LO) [pdf, other]

Title: Collapsible Pushdown Graphs of Level 2 are Tree-Automatic

Alexander Kartzow

Comments: Journal version of arXiv:0912.4110, accepted for publication in LMCS

Journal-ref: Logical Methods in Computer Science, Volume 9, Issue 1 (March 20, 2013) lmcs:1220

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Logic (math.LO)

[38] arXiv:1303.2467 (cross-list from cs.LO) [pdf, other]

Title: Simulations and Bisimulations For Coalgebraic Modal Logics

Daniel Gorín, Lutz Schröder

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

[39] arXiv:1303.3036 (cross-list from cs.LO) [pdf, other]

Title: Type-theoretical natural language semantics: on the system F for meaning assembly

Christian Retoré (LaBRI, IRIT)

Journal-ref: TYPES 2013, Toulouse : France (2013)

Subjects: Logic in Computer Science (cs.LO); Computation and Language (cs.CL); Logic (math.LO)

[40] arXiv:1303.3371 (cross-list from cs.LO) [pdf, other]

Title: Nets, relations and linking diagrams

Pawel Sobocinski

Comments: 15 pages, Proceedings of 5th Conference on Algebra and Coalgebra in Computer Science (CALCO), Warsaw, Poland, 3-6 September 2013

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

[41] arXiv:1303.3597 (cross-list from math.GN) [pdf, other]

Title: Selective covering properties of product spaces

Arnold W. Miller, Boaz Tsaban, Lyubomyr Zdomskyy

Comments: Submitted for publication

Journal-ref: Annals of Pure and Applied Logic 165 (2014), 1034-1057

Subjects: General Topology (math.GN); Logic (math.LO)

[42] arXiv:1303.3620 (cross-list from math.CA) [pdf, other]

Title: The Class of Purely Unrectifiable Sets in the Hilbert Space is coanalytic-complete

Vadim Kulikov

Comments: 10 pages

Subjects: Classical Analysis and ODEs (math.CA); Logic (math.LO)

[43] arXiv:1303.3704 (cross-list from math.RA) [pdf, other]

Title: Depth^+ and Length^+ of Boolean algebras

Shimon Garti, Saharon Shelah

Comments: 11 pages, accepted version after minor changes

Journal-ref: Houston Journal of Mathematics, vol. 45 no. 4, 2019, pp. 953-963

Subjects: Rings and Algebras (math.RA); Logic (math.LO)

[44] arXiv:1303.4217 (cross-list from math.GN) [pdf, other]

Title: SPM Bulletin 35

Boaz Tsaban

Subjects: General Topology (math.GN); Logic (math.LO)

[45] arXiv:1303.5039 (cross-list from cs.LO) [pdf, other]

Title: Is alpha-conversion easy?

George Cherevichenko

Comments: Bibliography was expanded, nothing else

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