Logic

Authors and titles for November 2015

[1] arXiv:1511.00130 [pdf, other]

Title: Distal and Non-Distal Pairs

Philipp Hieronymi, Travis Nell

Journal-ref: J. Symb. Logic (1) 82 (2017) 375-383

Subjects: Logic (math.LO)

[2] arXiv:1511.00982 [pdf, other]

Title: The Γ-Ultraproduct and Averageable Classes

Will Boney

Subjects: Logic (math.LO)

[3] arXiv:1511.01031 [pdf, other]

Title: Factor Congruence Lifting Property

George Georgescu, Claudia Mureşan

Comments: 22 pages

Subjects: Logic (math.LO)

[4] arXiv:1511.01054 [pdf, other]

Title: No Maximal Models from Looking Down

Will Boney

Subjects: Logic (math.LO)

[5] arXiv:1511.01074 [pdf, other]

Title: Upward closure and amalgamation in the generic multiverse of a countable model of set theory

Joel David Hamkins

Comments: Based on my talk at the conference, Recent Developments in Axiomatic Set Theory at the Research Institute for Mathematical Sciences (RIMS) at Kyoto University, Japan in September, 2015. 14 pages. Commentary can be made on my blog at this http URL

Subjects: Logic (math.LO)

[6] arXiv:1511.01383 [pdf, other]

Title: Weak Godel's incompleteness property for some decidable versions of the calculus of relations

Mohamed Khaled

Subjects: Logic (math.LO)

[7] arXiv:1511.01571 [pdf, other]

Title: Towards a Paraconsistent Quantum Set Theory

Benjamin Eva (University of Bristol)

Comments: In Proceedings QPL 2015, arXiv:1511.01181

Journal-ref: EPTCS 195, 2015, pp. 158-169

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

[8] arXiv:1511.01730 [pdf, other]

Title: Expressive power of basic modal intuitionistic logic as a fragment of classical FOL

Grigory Olkhovikov

Comments: 29 pages, 0 figures. arXiv admin note: text overlap with arXiv:1207.4414

Journal-ref: Journal of Applied Logic 21 (2017) 57-90

Subjects: Logic (math.LO)

[9] arXiv:1511.01731 [pdf, other]

Title: Divisibility orders in $βN$

Boris Šobot

Subjects: Logic (math.LO)

[10] arXiv:1511.02379 [pdf, other]

Title: A remark on strict independence relations

Gabriel Conant

Comments: 9 pages, to appear in Archive for Mathematical Logic

Journal-ref: Arch. Math. Logic 55 (2016), no. 3-4, 535-544

Subjects: Logic (math.LO)

[11] arXiv:1511.02544 [pdf, other]

Title: On unavoidable induced subgraphs in large prime graphs

M. Malliaris, C. Terry

Comments: 14 pages

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

[12] arXiv:1511.02687 [pdf, other]

Title: Cardinal characteristics at κ in a small u(κ) model

A. D. Brooke-Taylor, V. Fischer, S. D. Friedman, D. C. Montoya

Comments: 20 pages

Subjects: Logic (math.LO)

[13] arXiv:1511.02782 [pdf, other]

Title: On the construction of fully interpreted formal languages which posses their truth predicates

Seppo Heikkilä

Comments: 10 pages

Subjects: Logic (math.LO)

[14] arXiv:1511.02935 [pdf, other]

Title: Hanf Numbers and Presentation Theorems in AECs

Will Boney, John Baldwin

Subjects: Logic (math.LO)

[15] arXiv:1511.02953 [pdf, other]

Title: Implicational Completeness

P.L. Robinson

Subjects: Logic (math.LO)

[16] arXiv:1511.03410 [pdf, other]

Title: The Lascar groups and the 1st homology groups in model theory

Jan Dobrowolski, Byunghan Kim, Junguk Lee

Comments: 30 pages, no figures, this merged with the article arXiv:1504.07721

Journal-ref: Annals of Pure and Applied Logic (168), 2129-2151, 2017

Subjects: Logic (math.LO)

[17] arXiv:1511.03631 [pdf, other]

Title: General normal forms for any additive logic

Mohamed Khaled

Journal-ref: Studia Scientiarum Mathematicarum Hungarica 54(3), 2017, pp. 394-409

Subjects: Logic (math.LO)

[18] arXiv:1511.03693 [pdf, other]

Title: Game characterizations and lower cones in the Weihrauch degrees

Hugo Nobrega, Arno Pauly

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 3 (August 6, 2019) lmcs:4284

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

[19] arXiv:1511.04598 [pdf, other]

Title: Definable tree property for successors of cardinals

Ali Sadegh Daghighi, Massoud Pourmahdian

Subjects: Logic (math.LO)

[20] arXiv:1511.04679 [pdf, other]

Title: The effective content of Reverse Nonstandard Mathematics and the nonstandard content of effective Reverse Mathematics

Sam Sanders

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

Subjects: Logic (math.LO)

[21] arXiv:1511.04979 [pdf, other]

Title: Measures on Suslinean spaces

Piotr Borodulin-Nadzieja, Grzegorz Plebanek

Subjects: Logic (math.LO)

[22] arXiv:1511.05189 [pdf, other]

Title: On Weihrauch Reducibility and Intuitionistic Reverse Mathematics

Rutger Kuyper

Subjects: Logic (math.LO)

[23] arXiv:1511.05221 [pdf, other]

Title: Weak Godel's incompleteness property for some decidable versions of first order logic

Mohamed Khaled

Journal-ref: Logic Journal of the IGPL 25 (5), 2017, pp. 673-685

Subjects: Logic (math.LO)

[24] arXiv:1511.05326 [pdf, other]

Title: Generic Large Cardinals and Systems of Filters

Giorgio Audrito, Silvia Steila

Comments: 36 pages

Subjects: Logic (math.LO)

[25] arXiv:1511.05383 [pdf, other]

Title: Random Graph: Stronger logic but with the zero one law

Saharon Shelah

Subjects: Logic (math.LO)