Logic

Authors and titles for November 2016

[1] arXiv:1611.00176 [pdf, other]

Title: A generic property of Solovay's set $Σ$

Vladimir Kanovei, Vassily Lyubetsky

Comments: 4 pages

Journal-ref: Siberian Mathematical Journal, 2017, Vol. 58, Iss. 6, P. 1012-1014

Subjects: Logic (math.LO)

[2] arXiv:1611.00439 [pdf, other]

Title: A cautionary note about self-reference

T. Parent

Subjects: Logic (math.LO)

[3] arXiv:1611.01102 [pdf, other]

Title: Montague's Paradox without Necessitation

T. Parent

Subjects: Logic (math.LO)

[4] arXiv:1611.01648 [pdf, other]

Title: Remarks on Propositional Logics and the categorial relationship between Institutions and Π-Institutions

Darllan Conceição Pinto, Hugo Luiz Mariano

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

[5] arXiv:1611.01756 [pdf, other]

Title: Amenable colorings

Shimon Garti

Journal-ref: European Journal of Mathematics, 3 (1), March 2017, pp. 77-86

Subjects: Logic (math.LO)

[6] arXiv:1611.02204 [pdf, other]

Title: Hyperfiniteness and Borel combinatorics

Clinton Conley, Steve Jackson, Andrew Marks, Brandon Seward, Robin Tucker-Drob

Subjects: Logic (math.LO); Combinatorics (math.CO); Dynamical Systems (math.DS)

[7] arXiv:1611.02527 [pdf, other]

Title: Weak König's lemma implies the uniform continuity theorem: a direct proof

Matthew Hendtlass

Subjects: Logic (math.LO)

[8] arXiv:1611.02531 [pdf, other]

Title: Kakutani's fixed point theorem in constructive mathematics

Matthew Hendtlass

Subjects: Logic (math.LO)

[9] arXiv:1611.02534 [pdf, other]

Title: On the construction of general equilibria in a competitive economy

Matthew Hendtlass, Nazar Miheisi

Subjects: Logic (math.LO)

[10] arXiv:1611.02542 [pdf, other]

Title: Constructing the demand function of a strictly convex preference relation

Matthew Hendtlass

Subjects: Logic (math.LO)

[11] arXiv:1611.02543 [pdf, other]

Title: Equivalents of disjunctive Markov's principle

Matthew Hendtlass

Subjects: Logic (math.LO)

[12] arXiv:1611.02694 [pdf, other]

Title: Notes on countably generated complete Boolean algebras

Mohammad Golshani

Comments: Preliminary version

Subjects: Logic (math.LO)

[13] arXiv:1611.03078 [pdf, other]

Title: Topology as faithful communication through relations

Samuele Maschio, Giovanni Sambin

Subjects: Logic (math.LO)

[14] arXiv:1611.03134 [pdf, other]

Title: Using Ramsey's Theorem Once

Jeffry L. Hirst, Carl Mummert

Comments: Revised June 1, 2017. Added pointer to published article and included a corrigendum correcting Definition 1

Subjects: Logic (math.LO)

[15] arXiv:1611.03839 [pdf, other]

Title: Uniform definition of sets using relations and complement of Presburger Arithmetic

Arthur Milchior

Subjects: Logic (math.LO)

[16] arXiv:1611.04170 [pdf, other]

Title: Asymmetric combination of logics is functorial: A survey

Renato Neves, Alexandre Madeira, Luis S. Barbosa, Manuel A. Martins

Subjects: Logic (math.LO)

[17] arXiv:1611.04181 [pdf, other]

Title: Linear Logic Properly Displayed

Giuseppe Greco, Alessandra Palmigiano

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

[18] arXiv:1611.04348 [pdf, other]

Title: Tracking chains revisited

Gunnar Wilken

Comments: The text was edited and aligned with reference [10], Lemma 5.11 was included (moved from [10]), results unchanged. Corrected Def. 5.2 and Section 5.3 on greatest immediate $\le_1$-successors. Updated publication information. arXiv admin note: text overlap with arXiv:1608.08421

Journal-ref: S.-D. Friedman, D. Raghavan, Y. Yang (eds.): Sets and Computations, Lecture Notes Series Vol.33, IMS, NUS, World Scientific Publishing Company (2017) 183-220

Subjects: Logic (math.LO)

[19] arXiv:1611.04673 [pdf, other]

Title: A note on o-minimal flows and the Ax--Lindemann--Weierstrass theorem for abelian varieties over $\mathbb{C}$

Ya'acov Peterzil, Sergei Starchenko

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

[20] arXiv:1611.04740 [pdf, other]

Title: A Modal Logic of Supervenience

Jie Fan

Comments: 29 pages

Journal-ref: Notre Dame J. Formal Logic 60, no. 2 (2019), 283-309

Subjects: Logic (math.LO)

[21] arXiv:1611.04809 [pdf, other]

Title: Hereditarily Structurally Complete Superintuitionistic Deductive Systems

Alex Citkin

Subjects: Logic (math.LO)

[22] arXiv:1611.05176 [pdf, other]

Title: The strength of the SCT criterion

Emanuele Frittaion, Silvia Steila, Keita Yokoyama

Comments: 15 pages

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

[23] arXiv:1611.05231 [pdf, other]

Title: Sequent Calculi for Semi-De Morgan and De Morgan Algebras

Minghui Ma, Fei Liang

Subjects: Logic (math.LO)

[24] arXiv:1611.05292 [pdf, other]

Title: Shelah-Villaveces revisited

Will Boney, Monica M. VanDieren, Sebastien Vasey

Comments: Paper withdrawn due to a fatal mistake

Subjects: Logic (math.LO)

[25] arXiv:1611.05422 [pdf, other]

Title: On Stably Pointed Varieties and Generically Stable Groups in ACVF

Yatir Halevi

Comments: This paper was published in Ann. Pure Appl. Logic 170 (2019), no. 2, 180--2017. The published version has some mistakes. This version is the corrected version

Journal-ref: Ann. Pure Appl. Logic 170 (2019), no. 2, 180--2017

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