Logic

Authors and titles for March 2013

[1] arXiv:1303.0412 [pdf, other]

Title: The space of minimal structures

Oleg Belegradek

Comments: 17 pages

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

[2] arXiv:1303.0550 [pdf, other]

Title: Tameness from Large Cardinal Axioms

Will Boney

Subjects: Logic (math.LO)

[3] arXiv:1303.0730 [pdf, other]

Title: Diagonalizing by Fixed-Points

Ahmad Karimi, Saeed Salehi

Comments: to appear by the title "Diagonal Arguments and Fixed Points", The Bulletin of the Iranian Mathematical Society (2016) this http URL

Journal-ref: Bulletin of the Iranian Mathematical Society 43:5 (2017) 1073--1088

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

[4] arXiv:1303.0862 [pdf, other]

Title: Harrington's results on arithmetical singletons

Stephen G. Simpson

Comments: 9 pages

Subjects: Logic (math.LO)

[5] arXiv:1303.0955 [pdf, other]

Title: Topological representations

Adam Kwela, Marcin Sabok

Subjects: Logic (math.LO)

[6] arXiv:1303.1344 [pdf, other]

Title: On Bipolar Soft Sets

Muhammad Shabir, Munazza Naz

Subjects: Logic (math.LO)

[7] arXiv:1303.1378 [pdf, other]

Title: Forking and JSJ decompositions in the free group

Chloé Perin, Rizos Sklinos

Comments: 33 pages, 6 figures

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

[8] arXiv:1303.1613 [pdf, other]

Title: On parametrical expressibility in the free void-generated diagonalizable algebra

Andrei Rusu

Comments: 4 pages

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

[9] arXiv:1303.2244 [pdf, other]

Title: Topological conjugations are not constructable

Linda Brown Westrick

Comments: 9 pages. v2 adds a note on folklore

Subjects: Logic (math.LO)

[10] arXiv:1303.2572 [pdf, other]

Title: From A1 to D5: Towards a Forcing-Related Classification of Relational Structures

Milos S. Kurilic

Comments: 20 pages, 2 figures

Journal-ref: J. Symbolic Logic, 79,1 (2014) 279-295

Subjects: Logic (math.LO)

[11] arXiv:1303.2591 [pdf, other]

Title: Maximally Embeddable Components

Milos S. Kurilic

Comments: 17 pages, 2 figures

Journal-ref: Arch. Math. Logic, 52,7-8 (2013) 793--808

Subjects: Logic (math.LO)

[12] arXiv:1303.2598 [pdf, other]

Title: Posets of Copies of Countable Scattered Linear Orders

Milos S. Kurilic

Comments: 21 pages, 2 figures

Journal-ref: Ann. Pure Appl. Logic, 165,3 (2014) 895--912

Subjects: Logic (math.LO)

[13] arXiv:1303.2828 [pdf, other]

Title: Maximal Chains of Isomorphic Suborders of Countable Ultrahomogeneous Partial Orders

Milos S. Kurilic, Borisa Kuzeljevic

Comments: 18 pages

Journal-ref: Order, 32,1 (2015) 83-99

Subjects: Logic (math.LO)

[14] arXiv:1303.2926 [pdf, other]

Title: Reverse Mathematics and initial intervals

Emanuele Frittaion, Alberto Marcone

Comments: updated draft after referees' suggestions; simpler proof of Lemma 3.3; improved statement of Lemma 5.7 (former Lemma 5.6)

Journal-ref: Annals of Pure and Applied Logic 165 (2014), 858-879

Subjects: Logic (math.LO)

[15] arXiv:1303.3155 [pdf, other]

Title: Coverings by open cells

Mário J. Edmundo, Pantelis Eleftheriou, Luca Prelli

Comments: 17 pages, revised version

Journal-ref: Archive for Mathematical Logic, Vol. 53, Issue 3, pp. 307-325 (2014)

Subjects: Logic (math.LO)

[16] arXiv:1303.3327 [pdf, other]

Title: Rainbow Ramsey theorem for triples is strictly weaker than the Arithmetic Comprehension Axiom

Wei Wang

Journal-ref: Journal of Symbolic Logic, 78(3): 824--836, 2013

Subjects: Logic (math.LO)

[17] arXiv:1303.3329 [pdf, other]

Title: Cohesive sets and rainbows

Wei Wang

Journal-ref: Annals of Pure and Applied Logic, 165(2): 389--408, 2013

Subjects: Logic (math.LO)

[18] arXiv:1303.3331 [pdf, other]

Title: Some logically weak Ramseyan theorems

Wei Wang

Comments: 19 pages; with changes according to the referees

Journal-ref: Advances in Mathematics, 261:1--25, 2014

Subjects: Logic (math.LO)

[19] arXiv:1303.3408 [pdf, other]

Title: CZF does not have the Existence Property

Andrew W Swan

Journal-ref: Annals of Pure and Applied Logic, Volume 165, Issue 5, May 2014, Pages 1115-1147

Subjects: Logic (math.LO)

[20] arXiv:1303.3441 [pdf, other]

Title: Ranks for strongly dependent theories

Moran Cohen, Saharon Shelah

Subjects: Logic (math.LO)

[21] arXiv:1303.3543 [pdf, other]

Title: CH, V=L, Disintegrations of Measures, and Π^1_1 Sets

Karl Backs, Steve Jackson, R. Daniel Mauldin

Comments: 14 pages

Subjects: Logic (math.LO)

[22] arXiv:1303.4407 [pdf, other]

Title: Two remarks on polynomially bounded reducts of the restricted analytic field with exponentiation

Serge Randriambololona

Comments: 10 pages

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

[23] arXiv:1303.4419 [pdf, other]

Title: O-minimal structures: low arity versus generation

Serge Randriambololona

Comments: 10 pages

Journal-ref: Illinois J. Math. 49 (2005), no. 2, 547--558

Subjects: Logic (math.LO)

[24] arXiv:1303.4902 [pdf, other]

Title: Randomness and lowness notions via open covers

Laurent Bienvenu, Joseph S. Miller

Comments: This is a revised version of the APAL paper. In particular, a full proof of Proposition 24 is added

Journal-ref: Laurent Bienvenu, Joseph S. Miller. Randomness and lowness notions via open covers. Annals of Pure and Applied Logic 163(5): 506-518 (2012)

Subjects: Logic (math.LO)

[25] arXiv:1303.5037 [pdf, other]

Title: Reduced products of UHF algebras under forcing axioms

Paul McKenney

Comments: 31 pages

Subjects: Logic (math.LO); Operator Algebras (math.OA)

[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)