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)