Logic

Authors and titles for October 2012

[26] arXiv:1210.5759 [pdf, other]

Title: On idealized versions of $\pr_1(μ^+,μ^+,μ^+,\cf(μ))$

Todd Eisworth

Subjects: Logic (math.LO)

[27] arXiv:1210.5854 [pdf, other]

Title: The fundamentals of relations language mathematics

V. Ye. Mitroshin

Comments: 5 pages, 2 figures

Subjects: Logic (math.LO)

[28] arXiv:1210.5957 [pdf, other]

Title: Generic stability and stability

Hans Adler, Enrique Casanovas, Anand Pillay

Subjects: Logic (math.LO)

[29] arXiv:1210.6288 [pdf, other]

Title: Natural Topology

Frank Waaldijk

Comments: 174 pages, 1 illustration

Subjects: Logic (math.LO)

[30] arXiv:1210.6298 [pdf, other]

Title: Conditional computability of real functions with respect to a class of operators

Ivan Georgiev, Dimiter Skordev

Comments: Manuscript accepted for publication in the CiE 2011 post-proceedings, which will appear in Annals of Pure and Applied Logic

Journal-ref: Ann. Pure Appl. Logic 164 (2013) 550-565

Subjects: Logic (math.LO)

[31] arXiv:1210.6517 [pdf, other]

Title: A new approach to soft set through applications of cubic set

S. Abdullah, I. Khan, M. Aslam

Subjects: Logic (math.LO)

[32] arXiv:1210.6518 [pdf, other]

Title: A new generalization of fuzzy ideals in LA-semigroups

S. Abdullah, M. Atique Khan, M. Aslam

Subjects: Logic (math.LO)

[33] arXiv:1210.6538 [pdf, other]

Title: Natural Factors of the Muchnik Lattice Capturing IPC

Rutger Kuyper

Comments: Various minor corrections

Journal-ref: The Annals of Pure and Applied Logic 164(10), 2013, 1025-1036

Subjects: Logic (math.LO)

[34] arXiv:1210.6541 [pdf, other]

Title: A multiverse perspective on the axiom of constructiblity

Joel David Hamkins

Comments: 21 pages. This article expands on an argument that I made during my talk at the Asian Initiative for Infinity: Workshop on Infinity and Truth, held July 25--29, 2011 at the Institute for Mathematical Sciences, National University of Singapore. Commentary concerning this paper can be made at this http URL

Subjects: Logic (math.LO)

[35] arXiv:1210.6709 [pdf, other]

Title: Large orbits, projective Fraisse limits, and the pseudo-arc

Aleksandra Kwiatkowska

Comments: Statement of Theorem 1.7 is corrected

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

[36] arXiv:1210.7258 [pdf, other]

Title: Scales in hybrid mice over $\mathbb{R}$

Farmer Schlutzenberg, Nam Trang

Subjects: Logic (math.LO)

[37] arXiv:1210.7317 [pdf, other]

Title: Topological interpretations of provability logic

Lev Beklemishev, David Gabelaia

Comments: 36 pages

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

[38] arXiv:1210.7373 [pdf, other]

Title: Generalized Indiscernibles as Model-complete Theories

Cameron Donnay Hill

Comments: 21 pages

Subjects: Logic (math.LO)

[39] arXiv:1210.7387 [pdf, other]

Title: The generic ultrafilter added by ${(\FIN \times \FIN)}^{+}$

Dilip Raghavan

Comments: Preliminary

Subjects: Logic (math.LO)

[40] arXiv:1210.7475 [pdf, other]

Title: An integer construction of infinitesimals: Toward a theory of Eudoxus hyperreals

Alexandre Borovik, Renling Jin, Mikhail G. Katz

Comments: 17 pages, 1 figure

Journal-ref: Notre Dame J. Formal Logic 53, no. 4 (2012), 557-570

Subjects: Logic (math.LO); Functional Analysis (math.FA)

[41] arXiv:1210.7575 [pdf, other]

Title: Products of rough finite state machines

S. P. Tiwari, Shambhu Sharan

Subjects: Logic (math.LO)

[42] arXiv:1210.7576 [pdf, other]

Title: Dimension in T.T.T Structures

Daniel Lowengrub

Comments: 10 pages

Subjects: Logic (math.LO)

[43] arXiv:1210.7615 [pdf, other]

Title: Definable henselian valuations

Franziska Jahnke, Jochen Koenigsmann

Comments: 14 pages, revised version

Subjects: Logic (math.LO)

[44] arXiv:1210.7779 [pdf, other]

Title: A Perfect Set of Reals with Finite Self-Information

Ian Herbert

Comments: 21 pages

Subjects: Logic (math.LO)

[45] arXiv:1210.7882 [pdf, other]

Title: The Geometry of L^k-Canonization I: Rosiness from Efficient Constructibility

Cameron Donnay Hill

Comments: 24 pages

Subjects: Logic (math.LO)

[46] arXiv:1210.7883 [pdf, other]

Title: On Weak Elimination of Hyperimaginaries and its Consequences

Donald Brower, Cameron Donnay Hill

Comments: 16 pages

Subjects: Logic (math.LO)

[47] arXiv:1210.8362 [pdf, other]

Title: A hierarchy of clopen graphs on the Baire space

Arnold W. Miller

Subjects: Logic (math.LO)

[48] arXiv:1210.0420 (cross-list from cs.CC) [pdf, other]

Title: Essential Convexity and Complexity of Semi-Algebraic Constraints

Manuel Bodirsky (LIX, Ecole Polytechnique), Peter Jonsson (Department of Computer and System Science, Linkoepings Universitet), Timo von Oertzen (Max-Planck-Institute for Human Development)

Comments: 25 pages, 3 Figures. An extended abstract of a preliminary version of this paper appeared in the proceedings of ICALP 2009 under the title `Semilinear Program Feasibility'

Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 4 (October 10, 2012) lmcs:1218

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Logic (math.LO)

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

Title: Closed subgroups generated by generic measure automorphisms

Slawomir Solecki

Journal-ref: Ergod. Th. Dynam. Sys. 34 (2014) 1011-1017

Subjects: Dynamical Systems (math.DS); Logic (math.LO)

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

Title: Abstract approach to Ramsey theory and Ramsey theorems for finite trees

Slawomir Solecki

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