Logic

Authors and titles for September 2015

[1] arXiv:1509.00164 [pdf, other]

Title: Theorems of Tarski's Undefinability and Godel's Second Incompleteness-Computationally

Saeed Salehi

Comments: 12 pages

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

[2] arXiv:1509.00282 [pdf, other]

Title: Non-standard Nonstandard Analysis and the computational content of standard mathematics

Sam Sanders

Comments: arXiv admin note: text overlap with arXiv:1508.07434

Subjects: Logic (math.LO)

[3] arXiv:1509.00390 [pdf, other]

Title: Epsilon Substitution for $ID_1$ via Cut-Elimination

Henry Towsner

Subjects: Logic (math.LO)

[4] arXiv:1509.00471 [pdf, other]

Title: The notion of Infinity within the Zermelo system and its relation to the Axiom of Countable Choice

George Chailos

Comments: 21 pages

Subjects: Logic (math.LO)

[5] arXiv:1509.00524 [pdf, other]

Title: Energy randomness

Joseph S. Miller, Jason Rute

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

[6] arXiv:1509.00642 [pdf, other]

Title: Multiple Conclusion Rules in Logics with the Disjunction Property

Alex Citkin

Subjects: Logic (math.LO)

[7] arXiv:1509.00666 [pdf, other]

Title: A note on strictly positive logics and word rewriting systems

Lev D. Beklemishev

Comments: 9 pages

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

[8] arXiv:1509.01078 [pdf, other]

Title: On the relation of three theorems of analysis to the axiom of choice

Adrian Fellhauer

Comments: New version with a few mistakes corrected

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

[9] arXiv:1509.01099 [pdf, other]

Title: Open determinacy for class games

Victoria Gitman, Joel David Hamkins

Comments: 18 pages; commentary concerning this article can be made at this http URL

Subjects: Logic (math.LO)

[10] arXiv:1509.01191 [pdf, other]

Title: Large Cardinal Axioms from Tameness in AECs

Will Boney, Spencer Unger

Subjects: Logic (math.LO)

[11] arXiv:1509.01488 [pdf, other]

Title: On the structure of categorical abstract elementary classes with amalgamation

Monica M. VanDieren, Sebastien Vasey

Comments: 19 pages. This has since been merged with arXiv:1508.03252

Subjects: Logic (math.LO)

[12] arXiv:1509.01812 [pdf, other]

Title: A Logic for Arguing About Probabilities in Measure Teams

Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen

Subjects: Logic (math.LO)

[13] arXiv:1509.02275 [pdf, other]

Title: Semigroups in Stable Structures

Yatir Halevi

Journal-ref: Notre Dame J. Formal Logic 59, no. 3 (2018), 417-436

Subjects: Logic (math.LO)

[14] arXiv:1509.02376 [pdf, other]

Title: Lipschitz stratifications in power-bounded o-minimal fields

Immanuel Halupczok, Yimu Yin

Comments: 44 pages, 5 figures

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

[15] arXiv:1509.02446 [pdf, other]

Title: $Σ^0_3$ determinacy and ${\mathbfΠ}^1_2$ monotone induction

Sherwood Hachtman

Subjects: Logic (math.LO)

[16] arXiv:1509.02588 [pdf, other]

Title: Asymptotic Differential Algebra and Model Theory of Transseries

Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven

Comments: 729 pp; version 7 correcting various smaller mistakes; for a list of errata to the printed version see this https URL

Journal-ref: Ann. of Math. Studies vol. 195, Princeton University Press, Princeton 2017

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

[17] arXiv:1509.02884 [pdf, other]

Title: Van Lambalgen's theorem fails for some computable measure

Bruno Bauwens

Subjects: Logic (math.LO)

[18] arXiv:1509.02895 [pdf, other]

Title: Remarks on compactifications of pseudofinite groups

Anand Pillay

Comments: 9 pages

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

[19] arXiv:1509.02992 [pdf, other]

Title: On computability and disintegration

Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy

Comments: 28 pages. Substantially updated following referee suggestions

Journal-ref: Mathematical Structures in Computer Science, 27:8 (2017), pp. 1287-1314

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO); Probability (math.PR); Statistics Theory (math.ST)

[20] arXiv:1509.03048 [pdf, other]

Title: Consistency of circuit evaluation, extended resolution and total NP search problems

Jan Krajicek

Comments: Preliminary version this http URL 2015

Journal-ref: Forum of Mathematics, Sigma / Volume 4 / 2016, e15

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

[21] arXiv:1509.03193 [pdf, other]

Title: Eberlein-Smulian compactness and Kolmogorov extension theorems; a model theoretic approach

Seyed-Mohammad Bagheri, Karim Khanaki

Comments: This paper has been withdrawn by the author due to a crucial sign error

Subjects: Logic (math.LO)

[22] arXiv:1509.03238 [pdf, other]

Title: Stratifications of tangent cones in real closed (valued) fields

Erick García Ramírez

Comments: 15 pages

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

[23] arXiv:1509.03472 [pdf, other]

Title: Density Elimination for Semilinear Substructural Logics

SanMin Wang

Comments: I would like to give you all examples and details of my proof, but I can't provide you with something that I don't have, or something that does not exist in the world

Subjects: Logic (math.LO)

[24] arXiv:1509.03671 [pdf, other]

Title: Structural completeness in propositional logics of dependence

Rosalie Iemhoff, Fan Yang

Journal-ref: Archive for Mathematical Logic, November 2016, Volume 55, Issue 7, pp. 955-975

Subjects: Logic (math.LO)

[25] arXiv:1509.03743 [pdf, other]

Title: How many varieties of cylindric algebras

H. Andréka, I. Németi

Comments: 48 pages. Keywords: algebraic logic, cylindric algebras, first-order logic, varieties, definable relations, network of theories, definitional equivalence

Journal-ref: Transactions of the AMS 369,12 (2017), 8903-8937

Subjects: Logic (math.LO)