Logic

Authors and titles for math.LO in Feb 2015, skipping first 25

[26]  arXiv:1502.04429 [pdf, ps, other]

Title: Recent developments in finite Ramsey theory: foundational aspects and connections with dynamics

Authors: Sławomir Solecki

Subjects: Logic (math.LO)

[27]  arXiv:1502.04513 [pdf, ps, other]

Title: VC-sets and generic compact domination

Authors: Pierre Simon

Comments: 15 pages

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

[28]  arXiv:1502.05002 [pdf, other]

Title: Distance structures for generalized metric spaces

Authors: Gabriel Conant

Comments: 30 pages

Journal-ref: Ann. Pure Appl. Logic 168 (2017), no. 3, 622-650

Subjects: Logic (math.LO)

[29]  arXiv:1502.05228 [pdf, ps, other]

Title: Relative commutants of strongly self-absorbing C*-algebras

Authors: Ilijas Farah, Bradd Hart, Mikael Rørdam, Aaron Tikuisis

Comments: Some minor corrections

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

[30]  arXiv:1502.05500 [pdf, ps, other]

Title: On partial orderings having precalibre-$\aleph_1$ and fragments of Martin's axiom

Authors: Joan Bagaria, Saharon Shelah

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

Subjects: Logic (math.LO)

[31]  arXiv:1502.05512 [pdf, ps, other]

Title: Proof Systems and Models for the First-Order Primal Logic

Authors: Alexandra Podgaits

Comments: 17 pages

Subjects: Logic (math.LO)

[32]  arXiv:1502.05563 [pdf, ps, other]

Title: Le problème intensionnel de la quantification chez Hilbert (The intensional problem of quantification in Hilbert)

Authors: Jean Petitot

Comments: 34 pages, in French

Subjects: Logic (math.LO)

[33]  arXiv:1502.05632 [pdf, ps, other]

Title: Capturing k-ary Existential Second Order Logic with k-ary Inclusion-Exclusion Logic

Authors: Raine Rönnholm

Comments: Extended version of a paper published in Annals of Pure and Applied Logic 169 (3), 177-215

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

[34]  arXiv:1502.05898 [pdf, ps, other]

Title: A transcendental view on the continuum: Woodin's conditional platonism

Authors: Jean Petitot

Comments: 43 pages

Journal-ref: Le continu math\'ematique. Nouvelles conceptions, nouveaux enjeux (M. De Glas ed.), Intellectica, 51, 1 (2009) 93-133

Subjects: Logic (math.LO)

[35]  arXiv:1502.06021 [pdf, ps, other]

Title: A point on fixpoints in posets

Authors: Frédéric Blanqui (INRIA Paris-Rocquencourt)

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

[36]  arXiv:1502.06436 [pdf, ps, other]

Title: $R$-analytic functions

Authors: Tobias Kaiser

Comments: Final version; to appear at Archive for Mathematical Logic

Subjects: Logic (math.LO)

[37]  arXiv:1502.06467 [pdf, ps, other]

Title: Integration and Cell Decomposition in $P$-minimal Structures

Authors: Pablo Cubides Kovacsics, Eva Leenknegt

Comments: 22 pages

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

[38]  arXiv:1502.06521 [pdf, ps, other]

Title: Model Theory of Compact Complex Manifolds with an Automorphism

Authors: Martin Bays, Martin Hils, Rahim Moosa

Comments: A slight misformulation in the statement of the abelian group configuration in the published version has been corrected

Journal-ref: Trans. Amer. Math. Soc. 369 (2017), no. 6, 4485-4516

Subjects: Logic (math.LO); Complex Variables (math.CV)

[39]  arXiv:1502.06907 [pdf, ps, other]

Title: Congruence Boolean Lifting Property

Authors: George Georgescu, Claudia Mureşan

Comments: 30 pages

Subjects: Logic (math.LO)

[40]  arXiv:1502.07470 [pdf, ps, other]

Title: On Foreman's maximality principle

Authors: Mohammad Golshani, Yair Hayut

Comments: The proof of Lemma 6.3 has changed, and the large cardinal assumption used in earlier version is reduced

Subjects: Logic (math.LO)

[41]  arXiv:1502.07701 [pdf, ps, other]

Title: Problems on neat embeddings solved by rainbow constructions and Monk algebras

Authors: Tarek Sayed Ahmed

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

Subjects: Logic (math.LO)

[42]  arXiv:1502.07769 [pdf, ps, other]

Title: Polymorphism clones of homogeneous structures (Universal homogeneous polymorphisms and automatic homeomorphicity)

Authors: Christian Pech, Maja Pech

Comments: 38 pages, revised and extended version

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

[43]  arXiv:1502.07884 [pdf, ps, other]

Title: Characterising Modal Definability of Team-Based Logics via the Universal Modality

Authors: Katsuhiko Sano, Jonni Virtema

Comments: 30 pages. This is a preprint of a journal article to appear in Annals of Pure and Applied Logic. The preprint combines and extends two conference papers arXiv:1502.07884v1 and arXiv:1606.05140. The title of this preprint is changed to reflect this

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

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

Title: Selective versions of chain condition-type properties

Authors: Leandro Aurichi, Santi Spadaro, Lyubomyr Zdomskyy

Comments: Comments are welcome

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

[45]  arXiv:1502.01212 (cross-list from math.CO) [pdf, ps, other]

Title: Discrete metric spaces: structure, enumeration, and $0$-$1$ laws

Authors: Dhruv Mubayi, Caroline Terry

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

[46]  arXiv:1502.01389 (cross-list from math.AG) [pdf, ps, other]

Title: On Transformations in the Painlevé Family

Authors: Joel Nagloo

Journal-ref: Journal de Math\'ematiques Pures et Appliqu\'ees, 107 (2017) 784-795

Subjects: Algebraic Geometry (math.AG); Logic (math.LO)

[47]  arXiv:1502.02714 (cross-list from math.NT) [pdf, ps, other]

Title: On definitions of polynomials over function fields of positive characteristi

Authors: Alexandra Shlapentokh

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

[48]  arXiv:1502.03036 (cross-list from math.AG) [pdf, ps, other]

Title: A definable, p-adic analogue of Kirszbraun's Theorem on extensions of Lipschitz maps

Authors: Raf Cluckers, Florent Martin

Subjects: Algebraic Geometry (math.AG); Logic (math.LO)

[49]  arXiv:1502.05146 (cross-list from math.CO) [pdf, other]

Title: Ramsey Classes: Examples and Constructions

Authors: Manuel Bodirsky

Comments: 47 pages, 4 figures. Survey article for the 25th British Combinatorial Conference, Warwick. v3 fixes an issue related with infinite signatures, and improves the presentation of the proof of Theorem 6.4

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

[50]  arXiv:1502.05573 (cross-list from math.OA) [pdf, ps, other]

Title: Nonclassifiability of UHF $L^p$-operator algebras

Authors: Eusebio Gardella, Martino Lupini

Comments: 10 pages

Journal-ref: Proc. Amer. Math. Soc. 144 (2016), no. 5, 2081-2091

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