Logic

Authors and titles for January 2011

[1] arXiv:1101.0228 [pdf, other]

Title: On n-Tardy Sets

Peter A. Cholak, Peter M. Gerdes, Karen Lange

Subjects: Logic (math.LO)

[2] arXiv:1101.0548 [pdf, other]

Title: A simple algebraic characterization of nonstandard extensions

Marco Forti

Journal-ref: Proc. Amer. Math. Soc. 140 (2012), 2903-2912

Subjects: Logic (math.LO)

[3] arXiv:1101.0792 [pdf, other]

Title: The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma

Vasco Brattka, Guido Gherardi, Alberto Marcone

Comments: This version includes an addendum by Andrea Cettolo, Matthias Schröder, and the authors of the original paper. The addendum closes a gap in the proof of Theorem 11.2, which characterizes the computational content of the Bolzano-Weierstraß Theorem for arbitrary computable metric spaces

Journal-ref: Annals of Pure and Applied Logic 163:6 (2012) 623--655

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

[4] arXiv:1101.1077 [pdf, other]

Title: Dagger Categories of Tame Relations

Bart Jacobs

Subjects: Logic (math.LO); Quantum Physics (quant-ph)

[5] arXiv:1101.1194 [pdf, other]

Title: An analogue of the Baire Category Theorem

Philipp Hieronymi

Journal-ref: J. Symb. Logic (1) 78 (2013) 207-213

Subjects: Logic (math.LO)

[6] arXiv:1101.1864 [pdf, other]

Title: Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals

Samuel Coskey, Joel David Hamkins

Comments: Submitted to the Effective Mathematics of the Uncountable Conference, 2009

Journal-ref: In: Effective mathematics of the uncountable. Lecture notes in logic 41:33-49, 2013

Subjects: Logic (math.LO)

[7] arXiv:1101.1947 [pdf, other]

Title: Reducts of the random bipartite graph

Yun Lu

Journal-ref: Notre Dame J. Formal Logic 54, no. 1 (2013), 33-46

Subjects: Logic (math.LO)

[8] arXiv:1101.2580 [pdf, other]

Title: More about sharp and meager elements in Archimedean atomic lattice effect algebras

Josef Niederle, Jan Paseka

Subjects: Logic (math.LO); Mathematical Physics (math-ph); Quantum Algebra (math.QA)

[9] arXiv:1101.3141 [pdf, other]

Title: Quelques réflexions inévitables (Some inevitable considerations)

Frank Olaf Wagner (ICJ)

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

[10] arXiv:1101.3253 [pdf, other]

Title: A ganzstellensatz for semi-algebraic sets in real closed valued fields

Yoav Yaffe

Comments: This paper has been withdrawn by the author following a request by Noa Lavi

Subjects: Logic (math.LO)

[11] arXiv:1101.3578 [pdf, other]

Title: Infinity in computable probability

Maarten McKubre-Jordens, Phillip L. Wilson

Journal-ref: Journal of Applied Logics - IfCoLog Journal of Logics and their Applications 6(7) (2019) 1253-1261

Subjects: Logic (math.LO); Computation and Language (cs.CL); Logic in Computer Science (cs.LO)

[12] arXiv:1101.3792 [pdf, other]

Title: Complexity of countable categoricity in finite languages

A.Ivanov

Comments: 16 pages

Subjects: Logic (math.LO)

[13] arXiv:1101.3825 [pdf, other]

Title: Another Proof of the Existence a Dedekind Complete Totally Ordered Field

James F. Hall, Todor D. Todorov

Comments: 5 pages

Subjects: Logic (math.LO)

[14] arXiv:1101.4224 [pdf, other]

Title: The algebraic numbers definable in various exponential fields

Jonathan Kirby, Angus Macintyre, Alf Onshuus

Journal-ref: J. Inst. Math. Jussieu, 11(4):825-834, 2012

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

[15] arXiv:1101.5652 [pdf, other]

Title: Completeness of Ordered Fields

James Forsythe Hall

Subjects: Logic (math.LO)

[16] arXiv:1101.5660 [pdf, other]

Title: Lifting up the proof theory to the countables : Zermelo-Fraenkel set theory

Toshiyasu Arai

Subjects: Logic (math.LO)

[17] arXiv:1101.5705 [pdf, other]

Title: Connected components of definable groups and o-minimality I

Annalisa Conversano, Anand Pillay

Comments: 26 pages. This paper corrects the paper "Groups definable in o-minimal structures: structure theorem, G^000, definable amenability, and bounded orbits" by the first author which was posted in December (1012.4540v1) and later withdrawn

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

[18] arXiv:1101.5894 [pdf, other]

Title: Vienna Circle and Logical Analysis of Relativity Theory

H. Andréka, J. X. Madarász, I. Németi, P. Németi, G. Székely

Comments: 25 pages, 1 firgures

Journal-ref: In: The Vienna Circle in Hungary, A. M\'at\'e, M. R\'edei, F. Stadler, (Eds.), Springer-Verlag, Wien, 2011, pp.147-267

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

[19] arXiv:1101.5896 [pdf, other]

Title: A constructive Galois connection between closure and interior

Francesco Ciraulo, Giovanni Sambin

Comments: This is a revised version. Content is reorganized so to separate clearly what requires an impredicative proof from what can be proven also predicatively. Moreover, some results are given in a more general form and some counterexamples are added

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

[20] arXiv:1101.2116 (cross-list from math.AG) [pdf, other]

Title: A Ganzstellensatz for semi-algebraic sets and a boundedness criterion for rational functions

Noa Lavi

Comments: Accepted to publication in Communications in Algebra

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

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

Title: Unitary representations of oligomorphic groups

Todor Tsankov

Comments: Removed the requirement that an oligomorphic group be closed in Definition 1.2 in order to render Theorem 2.4 correct. Other minor changes and corrections

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

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

Title: Definable orthogonality classes in accessible categories are small

Joan Bagaria, Carles Casacuberta, A. R. D. Mathias, Jiri Rosicky

Comments: 38 pages; some results have been improved and former inaccuracies have been corrected

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

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

Title: Borel Hierarchy and Omega Context Free Languages

Olivier Finkel (ELM)

Journal-ref: Theoretical Computer Science 290 (3) (2003) 1385-1405

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

[24] arXiv:1101.4281 (cross-list from math-ph) [pdf, other]

Title: On Why-Questions in Physics

Gergely Székely

Comments: 10 pages

Journal-ref: In: The Vienna Circle in Hungary, A. M\'at\'e, M. R\'edei, F. Stadler, (Eds.) Springer-Verlag, Wien, 2011, pp.181-189

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

[25] arXiv:1101.5872 (cross-list from math.AG) [pdf, other]

Title: Positivstellensätze for semi-algebraic sets in real closed valued fields

Noa Lavi

Comments: Accepted for publication in Proceedings of the American Mathematical Society

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