Logic

Authors and titles for May 2012

[1] arXiv:1205.0064 [pdf, other]

Title: On incompactness for chromatic number of graphs

Saharon Shelah

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

[2] arXiv:1205.0386 [pdf, other]

Title: Martin-Lof randomness, invariant measures and countable homogeneous structurs

Willem L. Fouche

Subjects: Logic (math.LO)

[3] arXiv:1205.0444 [pdf, other]

Title: Forcing Iterated Admissibility in Strategic Belief Models

Fernando Tohmè, Gianluca Caterina, Rocco Gangle

Subjects: Logic (math.LO)

[4] arXiv:1205.0674 [pdf, other]

Title: The Real truth

Stefano Baratella, Domenico Zambella

Journal-ref: MLQ Math. Log. Q. 61 (2015), no. 1-2, 32--44

Subjects: Logic (math.LO)

[5] arXiv:1205.1068 [pdf, other]

Title: Transseries and Todorov-Vernaeve's asymptotic fields

Matthias Aschenbrenner, Isaac Goldbring

Comments: 19 pages

Subjects: Logic (math.LO)

[6] arXiv:1205.1440 [pdf, other]

Title: On some generalizations of BCC-algebras

Wieslaw A.Dudek, Janus Thomys

Journal-ref: International Journal of Computer Mathematics 89 (2012), 1596-1616

Subjects: Logic (math.LO)

[7] arXiv:1205.1775 [pdf, other]

Title: Automatic Ordinals

Olivier Finkel (ELM, IMJ), Stevo Todorcevic (ELM, IMJ)

Comments: To appear in a Special Issue on New Worlds of Computation 2011 of the International Journal of Unconventional Computing. arXiv admin note: text overlap with arXiv:1111.1504

Journal-ref: International Journal of Unconventional Computing 9, 1-2 (2013) 61-70

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

[8] arXiv:1205.2036 [pdf, other]

Title: Hyperations, Veblen progressions and transfinite iterations of ordinal functions

David Fernández-Duque, Joost J. Joosten

Subjects: Logic (math.LO)

[9] arXiv:1205.2254 [pdf, other]

Title: On the Value Group of a Model of Peano Arithmetic

Merlin Carl, Paola D'Aquino, Salma Kuhlmann

Comments: To appear in "Forum Mathematicum"

Journal-ref: Forum Mathematicum, Band 29, Heft 4, Seiten 951--957 (2016)

Subjects: Logic (math.LO)

[10] arXiv:1205.2554 [pdf, other]

Title: On existential declarations of independence in IF Logic

Fausto Barbero

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

[11] arXiv:1205.2879 [pdf, other]

Title: A Simplified Characterisation of Provably Computable Functions of the System ID_1 of Inductive Definitions

Naohi Eguchi, Andreas Weiermann

Comments: Technical Report

Subjects: Logic (math.LO)

[12] arXiv:1205.3101 [pdf, other]

Title: On non-forking spectra

Artem Chernikov, Itay Kaplan, Saharon Shelah

Comments: Version 1 - 30 pages. Version 2 - 31 pages; some minor corrections were made; accepted for publication to the Journal of the European Mathematical Society

Subjects: Logic (math.LO)

[13] arXiv:1205.3473 [pdf, other]

Title: Algebras of distributions of binary isolating formulas of a complete theory

Ilya V. Shulepov, Sergey V. Sudoplatov

Comments: 41 pages, 1 figure

Subjects: Logic (math.LO)

[14] arXiv:1205.3522 [pdf, other]

Title: Characterizing the powerset by a complete (Scott) sentence

Ioannis Souldatos

Comments: This paper is an updated version of the second half of version 1 of arXiv:1007.2426v1

Journal-ref: Fundam. Math., 222(2):131--154, 2013

Subjects: Logic (math.LO)

[15] arXiv:1205.3940 [pdf, other]

Title: New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic

Bart Jacobs (Institute for Computing and Information Sciences (iCIS), Radboud University Nijm)

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 3 (October 1, 2015) lmcs:1600

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

[16] arXiv:1205.4170 [pdf, other]

Title: Cell decomposition and definable functions for weak p-adic structures

Eva Leenknegt

Comments: 22 pages

Subjects: Logic (math.LO)

[17] arXiv:1205.4177 [pdf, other]

Title: Groups and rings definable in d-minimal structures

Antongiulio Fornasiero

Comments: 24 pages

Subjects: Logic (math.LO)

[18] arXiv:1205.4178 [pdf, other]

Title: Cell Decomposition for semibounded p-adic sets

Eva Leenknegt

Comments: 20 pages

Subjects: Logic (math.LO)

[19] arXiv:1205.4275 [pdf, other]

Title: Square principles in Pmax extensions

Andrés Eduardo Caicedo, Paul Larson, Grigor Sargsyan, Ralf Schindler, John Steel, Martin Zeman

Comments: Revised version, incorporating the referee's suggestions

Journal-ref: Israel Journal of Mathematics 217 (2017), no. 1, 231-261

Subjects: Logic (math.LO)

[20] arXiv:1205.4276 [pdf, other]

Title: Bounding Betti Numbers of Sets Definable in O-Minimal Structures Over the Reals

Mahana Clutha

Comments: 82 page, PhD thesis

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

[21] arXiv:1205.4316 [pdf, other]

Title: A simplified framework for first-order languages and its formalization in Mizar

Marco B. Caminati

Comments: Ph.D. thesis, defended on January, 20th, 2012

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

[22] arXiv:1205.4625 [pdf, other]

Title: On some logical and algebraic properties of axiomatic extensions of the monoidal t-norm based logic MTL related with single chain completeness

Matteo Bianchi

Comments: 12 pages, 1 figure

Subjects: Logic (math.LO)

[23] arXiv:1205.4662 [pdf, other]

Title: A note on ampleness in the theory of non abelian free groups

Rizos Sklinos

Comments: 9 pages

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

[24] arXiv:1205.5156 [pdf, other]

Title: Uncountable Real Closed Fields with PA Integer Parts

David Marker, James Schmerl, Charles Steinhorn

Subjects: Logic (math.LO)

[25] arXiv:1205.5429 [pdf, other]

Title: From Bolzano-Weierstraß to Arzelà-Ascoli

Alexander P. Kreuzer

Journal-ref: Mathematical Logic Quarterly, vol. 60 (2014), no. 3, pp. 177-183

Subjects: Logic (math.LO)