Logic

Authors and titles for November 2015

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

Title: SPM Bulletin 38

Boaz Tsaban

Comments: Boaz Tsaban is an editor of this bulletin

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

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

Title: On small profinite groups

Patrick Helbig

Comments: Previously titled "Small profinite groups and their elementary theory"; extended Question 3.15

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

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

Title: A Type Theory for Probabilistic and Bayesian Reasoning

Robin Adams, Bart Jacobs

Comments: 38 pages

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

[54] arXiv:1511.09280 (cross-list from math.DS) [pdf, other]

Title: Dynamical simplices and minimal homeomorphisms

Tomás Ibarlucía (ICJ), Julien Melleray (ICJ)

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