Logic

Authors and titles for March 2010

[1] arXiv:1003.0714 [pdf, other]

Title: Generalized Luzin sets

Robert Ralowski, Szymon Zeberski

Comments: 9 pages

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

[2] arXiv:1003.0918 [pdf, other]

Title: Completely nonmeasurable unions

Robert Ralowski, Szymon Zeberski

Comments: 6 pages

Subjects: Logic (math.LO)

[3] arXiv:1003.2117 [pdf, other]

Title: Hierarchies of Subsystems of Weak Arithmetic

Shahram Mohsenipour

Comments: To appear in Set theory, Arithmetic, Philosophy: Essays in Memory of Stanley Tennenbaum (edited by J. Kennedy and R. Kossak), Cambridge University Press.

Subjects: Logic (math.LO)

[4] arXiv:1003.2425 [pdf, other]

Title: The Stationary Set Splitting Game

Paul Larson, Saharon Shelah

Journal-ref: Mathematical Logic Quarterly 54 (2008) 2, 187-193

Subjects: Logic (math.LO)

[5] arXiv:1003.2477 [pdf, other]

Title: Splitting stationary sets from weak forms of Choice

Paul Larson, Saharon Shelah

Journal-ref: Mathematical Logic Quarterly 55 (2009) 3, 299-306

Subjects: Logic (math.LO)

[6] arXiv:1003.2479 [pdf, other]

Title: Universally measurable sets in generic extensions

Paul Larson, Itay Neeman, Saharon Shelah

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

[7] arXiv:1003.2496 [pdf, other]

Title: Dense families of countable sets below $c$

Lajos Soukup

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

[8] arXiv:1003.2592 [pdf, other]

Title: Non-permutation invariant Borel quantifiers

Fredrik Engström, Philipp Schlicht

Comments: 10 pages

Subjects: Logic (math.LO)

[9] arXiv:1003.2603 [pdf, other]

Title: An extension of Kracht's theorem to generalized Sahlqvist formulas

Stanislav Kikot

Journal-ref: Journal of Applied Non-Classical Logics. Volume 19 - No. 2/2009, pages 227 -- 251

Subjects: Logic (math.LO)

[10] arXiv:1003.2819 [pdf, other]

Title: Introducing a nontrivial square_omega

Gregor K. Dolinar, Mirna Dzamonja

Comments: This paper has been withdrawn by the author. 7 pages

Subjects: Logic (math.LO)

[11] arXiv:1003.3258 [pdf, other]

Title: Local operations and eventually open actions

Barbara Majcher-Iwanow

Comments: 24 pages

Subjects: Logic (math.LO)

[12] arXiv:1003.3425 [pdf, other]

Title: Creature forcing and large continuum: The joy of halving

Jakob Kellner, Saharon Shelah

Journal-ref: Arch. Math. Logic 51 (2012), No. 1-2, 49-70

Subjects: Logic (math.LO)

[13] arXiv:1003.3557 [pdf, other]

Title: Tame structures and open cores

Antongiulio Fornasiero

Comments: Version 3.2, 64 pages

Subjects: Logic (math.LO)

[14] arXiv:1003.4030 [pdf, other]

Title: Minimal functions on the random graph

Manuel Bodirsky, Michael Pinsker

Comments: 31 pages; this is an extension of article 0903.2553 by the same authors

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

[15] arXiv:1003.4102 [pdf, other]

Title: On the Syntax of Logic and Set Theory

Lucius T. Schoenbaum

Comments: 34 pages, accepted, to appear in the Review of Symbolic Logic

Subjects: Logic (math.LO)

[16] arXiv:1003.4483 [pdf, other]

Title: The metatheory of first-order logic: a contribution to a defence of Principia Mathematica

Stephen Boyce

Comments: 30 pages. Various minor errors corrected, results unchanged; statement of some propositions and proofs improved; sketch of full system of Principia added

Subjects: Logic (math.LO)

[17] arXiv:1003.4489 [pdf, other]

Title: Intuitionistic Logic and Muchnik Degrees

Andrea Sorbi, Sebastiaan A. Terwijn

Subjects: Logic (math.LO)

[18] arXiv:1003.4595 [pdf, other]

Title: Soft MTL-algebras based on fuzzy sets

J. Zhan, W. A. Dudek

Journal-ref: Sci. Bull., Series A, Appl. Math. Phys. Politeh. Univ. Bucharest 74 (2012), 41-56

Subjects: Logic (math.LO)

[19] arXiv:1003.4632 [pdf, other]

Title: Baire reductions and good Borel reducibilities

Luca Motto Ros

Comments: 21 pages

Journal-ref: Journal of Symbolic Logic 75 (2010), no. 1, 323-345

Subjects: Logic (math.LO)

[20] arXiv:1003.4647 [pdf, other]

Title: Beyond Borel-amenability: scales and superamenable reducibilities

Luca Motto Ros

Comments: 13 pages

Journal-ref: Annals of Pure and Applied Logic 161 (2010), 829-836

Subjects: Logic (math.LO)

[21] arXiv:1003.4670 [pdf, other]

Title: Club guessing for dummies

Daniel Soukup, Lajos Soukup

Subjects: Logic (math.LO)

[22] arXiv:1003.4707 [pdf, other]

Title: Indestructibility of Vopenka's Principle

Andrew D. Brooke-Taylor

Comments: 15 pages, submitted to Israel Journal of Mathematics

Journal-ref: Archive for Mathematical Logic 50, no. 5 (2011) , pp 515-529

Subjects: Logic (math.LO)

[23] arXiv:1003.4712 [pdf, other]

Title: Game interpretation of Kolmogorov complexity

Andrej A. Muchnik, Ilya Mezhirov, Alexander Shen, Nikolay Vereshchagin

Comments: 11 pages. Presented in 2009 at the conference on randomness in Madison.

Subjects: Logic (math.LO); Computer Science and Game Theory (cs.GT); Information Theory (cs.IT)

[24] arXiv:1003.4932 [pdf, other]

Title: Invariantly universal analytic quasi-orders

Riccardo Camerlo, Alberto Marcone, Luca Motto Ros

Comments: 31 pages, 1 figure, to appear in Transactions of the American Mathematical Society

Journal-ref: Transactions of the American Mathematical Society 365 (2013), 1901-1931

Subjects: Logic (math.LO)

[25] arXiv:1003.5025 [pdf, other]

Title: Dependent Pairs

Ayhan Günaydin, Philipp Hieronymi

Journal-ref: Journal of Symbolic Logic (2) 76 (2011) 377-390

Subjects: Logic (math.LO)

[26] arXiv:1003.5149 [pdf, other]

Title: Generic Automorphisms and Green Fields

Martin Hils

Comments: Some minor changes; new: a result of the paper (Cor 4.8) closes a gap in the construction of the bad field

Journal-ref: J. Lond. Math. Soc. 2011

Subjects: Logic (math.LO)

[27] arXiv:1003.5400 [pdf, other]

Title: Definable linear orders definably embed into lexicographic orders in o-minimal structures

Janak Ramakrishnan

Comments: 9 pages (substantial rewrite from previous version)

Subjects: Logic (math.LO)

[28] arXiv:1003.5735 [pdf, other]

Title: To What Type of Logic Does the "Tetralemma" Belong?

Rafael D. Sorkin (Perimeter Institute and Syracuse University)

Comments: plainTeX, 10 pages, no figures. Added references, revised first appendix, edited for clarity. Most current version is available at this http URL} (or wherever my home-page may be)

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

[29] arXiv:1003.5742 [pdf, other]

Title: The possible values of critical points between varieties of lattices

Pierre Gillibert (LMNO)

Journal-ref: Journal of Algebra 362 (2012) 30-55

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

[30] arXiv:1003.5831 [pdf, other]

Title: The Computable Universe Hypothesis

Matthew P. Szudzik (Carnegie Mellon)

Comments: 33 pages, 0 figures; minor changes

Journal-ref: A Computable Universe, World Scientific, 2013, pp. 479-523

Subjects: Logic (math.LO); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Mathematical Physics (math-ph)

[31] arXiv:1003.5983 [pdf, other]

Title: Complexity of Ramsey null sets

Marcin Sabok

Subjects: Logic (math.LO)

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

Title: A logical basis for constructive systems

Giorgi Japaridze

Journal-ref: Journal of Logic and Computation 22 (2012), pp. 605-642

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

[33] arXiv:1003.1631 (cross-list from math.DG) [pdf, other]

Title: On the normal cycles of subanalytic sets

Liviu I. Nicolaescu

Comments: 24 pages, 1 figure. Vers 4: filled in some missing details, included an approximation result, a comparison with the approach of A. Bernig and a several appendices

Subjects: Differential Geometry (math.DG); Geometric Topology (math.GT); Logic (math.LO)

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

Title: A note on Noetherian type of spaces

Lajos Soukup

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

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

Title: Homogeneity in the free group

Chloé Perin, Rizos Sklinos

Comments: 26 pages

Journal-ref: Duke Math. J. 161, no. 13 (2012), 2635-2668

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

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

Title: Introduction to clarithmetic I

Giorgi Japaridze

Journal-ref: Information and Computation 209 (2011), pp. 1312-1354

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Logic (math.LO); Number Theory (math.NT)

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

Title: From objects to diagrams for ranges of functors

Pierre Gillibert (MFF-UK), Friedrich Wehrung (LMNO)

Comments: Version 1: 135 pages. Remarks for that version: (1) The comment at the beginning of Section 3-6 (that if (k,l) arrows Q and P embeds into Q, then (k,l) arrows P) is easily seen to be valid in case Q is lower finite, unknown otherwise. The rest of the paper is not affected by this oversight. (2) In the statement of Problem 5, the functor Γshould go from semilattices and their embeddings to surjective V-measures. (3) References [18] and [63] are to appear (Combinatorica and Adv. in Appl. Math., respectively). To appear as Springer Lecture Notes in Mathematics, Volume 2029. Version 2 (165 pages) is the one sent to the publisher

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

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

Title: Logical complexity of graphs: a survey

Oleg Pikhurko, Oleg Verbitsky

Comments: 57 pages; 2 figures. This version contains an appendix with an improvement of Theorem 4.7

Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Logic (math.LO)

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

Title: A non-coordinatizable sectionally complemented modular lattice with a large J\'onsson four-frame

Friedrich Wehrung (LMNO)

Comments: 22 pages, Advances in Applied Mathematics, to appear

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

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

Title: More generalizations of pseudocompactness

Paolo Lipparini

Comments: 22 pages

Journal-ref: Topology and its Applications Volume 158 (2011), 1655-1666

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