Logic

Authors and titles for April 2009

[1] arXiv:0904.0071 [pdf, other]

Title: Kripke Models for Classical Logic

Danko Ilik (PPS, INRIA Paris - Rocquencourt, LIX), Gyesik Lee (ROSAEC), Hugo Herbelin (PPS, INRIA Paris - Rocquencourt)

Journal-ref: Annals of Pure and Applied Logic 161(11), 2010

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

[2] arXiv:0904.0113 [pdf, other]

Title: Souslin Algebra Embeddings

Gido Scharfenberger-Fabian

Comments: 41 pages, 2 figures; submitted to: Archive for Mathematical Logic

Subjects: Logic (math.LO)

[3] arXiv:0904.0335 [pdf, other]

Title: On Use of an Explicit Congruence Predicate in Bounded Arithmetic

Yoriyuki Yamagata

Comments: 17 Pages

Subjects: Logic (math.LO)

[4] arXiv:0904.0342 [pdf, other]

Title: An implication of Gödel's incompleteness theorem

Hitoshi Kitada

Comments: LaTeX, 50 pages

Journal-ref: International Journal of Pure and Applied Mathematics, 52, No. 4 (2009), 511-567.

Subjects: Logic (math.LO)

[5] arXiv:0904.0816 [pdf, other]

Title: MAD Families and SANE Player

Saharon Shelah

Subjects: Logic (math.LO)

[6] arXiv:0904.0817 [pdf, other]

Title: On CON(Dominating_lambda > cov_λ(meagre))

Saharon Shelah

Subjects: Logic (math.LO)

[7] arXiv:0904.1149 [pdf, other]

Title: Chaitin Ωnumbers and halting problems

Kohtaro Tadaki

Comments: 17 pages, LaTeX2e, no figures. This is an earlier full version of the paper that will appear in the Proceedings of Computability in Europe 2009, Heidelberg, Germany, July 19 - 24, 2009

Journal-ref: In: Ambos-Spies K., L\"owe B., Merkle W. (eds) Mathematical Theory and Computational Practice. CiE 2009. LNCS, vol 5635 (2009) Springer

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

[8] arXiv:0904.2083 [pdf, other]

Title: Semiabelian varieties over separably closed fields, maximal divisible subgroups, and exact sequences

Franck Benoist, Elisabeth Bouscaren, Anand Pillay

Comments: 55 pages In this version 3, some corrections and clarifications are made: in section 2.3 on relative Morley rank. Also in section 5.2 where more explanation is given of D-structures in positive characteristic. In an appendix we give a proof of the exactness of the functor taking a semiabelian variety to its universal vectorial extension

Journal-ref: Journal of the Institute of Mathematics of Jussieu 15 (2014) 29-69

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

[9] arXiv:0904.2199 [pdf, other]

Title: Independence - revision and defaults

Dov Gabbay, Karl Schlechta (LIF)

Subjects: Logic (math.LO)

[10] arXiv:0904.2874 [pdf, other]

Title: Definability as hypercomputational effect

S. Barry Cooper

Journal-ref: Applied Mathematics and Computation, 178 (2006), 72-82

Subjects: Logic (math.LO)

[11] arXiv:0904.2955 [pdf, other]

Title: A short proof that adding some permutation rules to beta preserves SN

René David (LAMA)

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

[12] arXiv:0904.2957 [pdf, other]

Title: Undecidable propositions with Diophantine form arisen from every axiom and every theorem of Peano Arithmetic

T.Mei

Comments: 4 pages, no figure

Subjects: Logic (math.LO)

[13] arXiv:0904.3032 [pdf, other]

Title: On analogies between algebraic groups and groups of finite Morley rank

Tuna Altinel, Jeffrey Burdges

Journal-ref: J. London Math. Soc. 2008 78(1):213-232

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

[14] arXiv:0904.3104 [pdf, other]

Title: Combinatorial and model-theoretical principles related to regularity of ultrafilters and compactness of topological spaces. VI

Paolo Lipparini

Comments: 9 pages

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

[15] arXiv:0904.3482 [pdf, other]

Title: Some new results on decidability for elementary algebra and geometry

Robert M. Solovay, R. D. Arthan, John Harrison

Comments: 79 pages, 9 figures. v2: Numerous minor improvements; neater proofs of Theorems 8 and 29; v3: fixed subscripts in proof of Lemma 32

Subjects: Logic (math.LO)

[16] arXiv:0904.4286 [pdf, other]

Title: The Block Relation in Computable Linear Orders

Michael F Moses

Subjects: Logic (math.LO)

[17] arXiv:0904.4742 [pdf, other]

Title: Analysis and Extension of Omega-Rule

R. Akiyoshi, G. Mints

Subjects: Logic (math.LO)

[18] arXiv:0904.4896 [pdf, other]

Title: On generalized topological spaces

Artur Piȩkosz

Comments: 26 pages

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

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

Title: On the word problem for SP-categories, and the properties of two-way communication

Luigi Santocanale (LIF), Robin Cockett

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

[20] arXiv:0904.1997 (cross-list from quant-ph) [pdf, other]

Title: Classical and quantum structuralism

Bob Coecke, Eric Oliver Paquette, Dusko Pavlovic

Comments: 43 pages, 60 figures

Subjects: Quantum Physics (quant-ph); Category Theory (math.CT); Logic (math.LO); Quantum Algebra (math.QA)

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

Title: Random Graphs and the Parity Quantifier

Phokion G. Kolaitis, Swastik Kopparty

Comments: 39 pages

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

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

Title: On Frattini arguments in L-groups of finite Morley rank

Jeffrey Burdges

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

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

Title: Weyl groups of small groups of finite Morley rank

Jeffrey Burdges, Adrien Deloro

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

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

Title: Toggling operators in computability logic

Giorgi Japaridze

Journal-ref: Theoretical Computer Science 412 (2011), pp. 971-1004

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

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

Title: SPM Bulletin 27

Boaz Tsaban

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

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

Title: Relation between the Usual Order and the Enumeration Orders of Elements of r.e. Sets

Ali Akbar Safilian, Farzad Didehvar

Comments: 15 pages; submitted to Mathematical Logic Quarterly

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

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

Title: Lipschitz continuity properties for p-adic semi-algebraic and subanalytic functions

R. Cluckers, G. Comte, F. Loeser

Comments: 21 pages

Journal-ref: Geom. Funct. Anal. 20, 68-87 (2010)

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

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

Title: Equations and fully residually free groups

Olga Kharlampovich, Alexei Myasnikov

Comments: 33 pages, 7 figures

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