The prospects for mathematical logic in the twenty-first century

The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently.Comment: Association for Symbolic Logi

Have Public Finance Principles Been Shut Out in Financing New Sports Stadiums for the NFL in the United States?

Over the past 15 years, new stadiums in the National Football League have been built at an unprecedented rate, and most new facilities have utilized significant public funds. This paper looks at whether the methods used to finance these new facilities honored public finance principles regarding equity, efficiency, and transparency. An examination of the 20 NFL stadiums constructed or refurbished since 1992 reveals a trend towards more voter referendums and an increase reliance on taxation of visitors through hotel and rental car taxes. Although taxation of persons living outside one’s own metropolitan area is appealing, this paper suggests that the benefits of these taxes are not nearly so clear.sports, public finance, stadiums, football, NFL

Set-Theoretic Geology

A ground of the universe V is a transitive proper class W subset V, such that W is a model of ZFC and V is obtained by set forcing over W, so that V = W[G] for some W-generic filter G subset P in W . The model V satisfies the ground axiom GA if there are no such W properly contained in V . The model W is a bedrock of V if W is a ground of V and satisfies the ground axiom. The mantle of V is the intersection of all grounds of V . The generic mantle of V is the intersection of all grounds of all set-forcing extensions of V . The generic HOD, written gHOD, is the intersection of all HODs of all set-forcing extensions. The generic HOD is always a model of ZFC, and the generic mantle is always a model of ZF. Every model of ZFC is the mantle and generic mantle of another model of ZFC. We prove this theorem while also controlling the HOD of the final model, as well as the generic HOD. Iteratively taking the mantle penetrates down through the inner mantles to what we call the outer core, what remains when all outer layers of forcing have been stripped away. Many fundamental questions remain open.Comment: 44 pages; commentary concerning this article can be made at http://jdh.hamkins.org/set-theoreticgeology

The Cowl - v.81 - n.2 - Sep 15, 2016

The Cowl - student newspaper of Providence College. Vol 81 - No. 2 - September 15, 2016. 20 pages

Sports, Inc. Volume 6, Issue 1

The ILR Cornell Sports Business Society magazine is a semester publication titled Sports, Inc. This publication serves as a space for our membership to publish and feature in-depth research and well-thought out ideas to advance the world of sport. The magazine can be found in the Office of Student Services and is distributed to alumni who come visit us on campus. Issues are reproduced here with permission of the ILR Cornell Sports Business Society.https://digitalcommons.ilr.cornell.edu/sportsinc/1006/thumbnail.jp