Logic

Authors and titles for April 2013

[51] arXiv:1304.5208 [pdf, other]

Title: Omitting types for infinitary [0, 1]-valued logic

Christopher J. Eagle

Comments: 22 pages

Journal-ref: Annals of Pure and Applied Logic 165 (2014) pp. 913-932

Subjects: Logic (math.LO)

[52] arXiv:1304.5385 [pdf, other]

Title: The Mathematician's Bias - and the Return to Embodied Computation

S. Barry Cooper

Journal-ref: In "A Computable Universe - Understanding and Exploring Nature as Computation" (Ed. Hector Zenil), World Scientific, 2013, pp. 125-142

Subjects: Logic (math.LO); General Literature (cs.GL)

[53] arXiv:1304.5421 [pdf, other]

Title: Strongly representable atom structures

Tarek Sayed Ahmed, Mohamed Khalifa

Subjects: Logic (math.LO)

[54] arXiv:1304.5683 [pdf, other]

Title: Around cofin

Andrzej Roslanowski, Saharon Shelah

Journal-ref: Colloquium Mathematicum, , Volume 134, Issue 2 (2014), Page 211-225

Subjects: Logic (math.LO)

[55] arXiv:1304.5729 [pdf, other]

Title: Yet another category of setoids with equality on objects

Erik Palmgren

Comments: 13 pages

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

[56] arXiv:1304.5823 [pdf, other]

Title: Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors

Edward Grefenstette

Comments: 10 pages, to appear in Proceedings of the Second Joint Conference on Lexical and Computational Semantics. June 2013

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

[57] arXiv:1304.6467 [pdf, other]

Title: LP=>: Extending LP with a strong conditional operator

Nick Thomas

Comments: 9 pages, 4 figures

Subjects: Logic (math.LO)

[58] arXiv:1304.6776 [pdf, other]

Title: Several characterizations of the 4--valued modal algebras

Aldo V. Figallo, Paolo Landini

Subjects: Logic (math.LO)

[59] arXiv:1304.6797 [pdf, other]

Title: Limit Models in Metric Abstract Elementary Classes: the Categorical case

Andrés Villaveces, Pedro Zambrano

Comments: 25 pages, 5 figures

Subjects: Logic (math.LO)

[60] arXiv:1304.7099 [pdf, other]

Title: Simple groups and the number of countable models

Predrag Tanović

Comments: Submitted to Achive for Mathematical Logic

Journal-ref: Archive for Mathematical Logic vol 52 (2013) pp.779-791

Subjects: Logic (math.LO)

[61] arXiv:1304.7714 [pdf, other]

Title: Forcing With Copies of Countable Ordinals

Milos Kurilic

Comments: 15 pages

Journal-ref: Proc. Amer. Math. Soc., 143,4 (2015) 1771-1784

Subjects: Logic (math.LO)

[62] arXiv:1304.7797 [pdf, other]

Title: Definable closure in randomizations

Uri Andrews, Isaac Goldbring, H. Jerome Keisler

Comments: 19 pages

Subjects: Logic (math.LO)

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

Title: On the axiomatics of projective and affine geometry in terms of line intersection

Hans Havlicek, Victor Pambuccian

Journal-ref: Results Math. 45 (2004), 35-44

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

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

Title: Compactness of $ω^λ$ for $λ$ singular

Paolo Lipparini

Comments: Treats the case λ singular only hinted in arXiv:1302.4763; v2 some very minor improvements and corrections

Journal-ref: Journal of Logic and Analysis Vol 6 (2014)

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

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

Title: Lambda Calculus Synopsis

Anton Salikhmetov

Comments: 8 pages, in Russian

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

[66] arXiv:1304.0583 (cross-list from math.HO) [pdf, other]

Title: Commuting and noncommuting infinitesimals

Mikhail G. Katz, Eric Leichtnam

Comments: 17 pages

Journal-ref: American Mathematical Monthly 120 (2013), no. 7, 631-641

Subjects: History and Overview (math.HO); Mathematical Physics (math-ph); Classical Analysis and ODEs (math.CA); Logic (math.LO); Operator Algebras (math.OA)

[67] arXiv:1304.0619 (cross-list from math.KT) [pdf, other]

Title: On complete representability of Pinter's algebras and related structures

Tarek Sayed Ahmed

Comments: arXiv admin note: substantial text overlap with arXiv:1302.3043

Subjects: K-Theory and Homology (math.KT); Logic (math.LO)

[68] arXiv:1304.0912 (cross-list from cs.FL) [pdf, other]

Title: Structures Without Scattered-Automatic Presentation

Alexander Kartzow, Philipp Schlicht

Comments: 10 pages + 20 pages Appendix; accepted for CiE 2013

Subjects: Formal Languages and Automata Theory (cs.FL); Logic (math.LO)

[69] arXiv:1304.1027 (cross-list from math.HO) [pdf, other]

Title: Infinitesimals as an issue in neo-Kantian philosophy of science

Thomas Mormann, Mikhail G. Katz

Comments: 51 pages, HOPOS: The Journal of the International Society for the History of Philosophy of Science, 2013

Subjects: History and Overview (math.HO); Mathematical Physics (math-ph); Classical Analysis and ODEs (math.CA); Logic (math.LO)

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

Title: Total Representations

Victor Selivanov

Comments: 30 pages

Journal-ref: Logical Methods in Computer Science, Volume 9, Issue 2 (June 2, 2013) lmcs:1191

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

[71] arXiv:1304.1628 (cross-list from cs.AI) [pdf, other]

Title: Pattern-Based Constraint Satisfaction and Logic Puzzles

Denis Berthier (DSI)

Journal-ref: Pattern-Based Constraint Satisfaction and Logic Puzzles (2012) 484

Subjects: Artificial Intelligence (cs.AI); Logic (math.LO)

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

Title: Some Hierarchies of QCB_0-Spaces

Matthias Schroeder, Victor Selivanov

Comments: 24 pages

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

[73] arXiv:1304.6102 (cross-list from math.CA) [pdf, other]

Title: Bounding the decay of oscillatory integrals with a constructible amplitude function and a globally subanalytic phase function

Raf Cluckers, Daniel J. Miller

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

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

Title: A semantic account of strong normalization in Linear Logic

Daniel de Carvalho, Lorenzo Tortora de Falco

Comments: 41 pages

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