Ohio State nav bar

Logic Seminar - Sean Walsh

math_sculpture
April 10, 2018
1:45PM - 2:45PM
University Hall 051

Date Range
Add to Calendar 2018-04-10 13:45:00 2018-04-10 14:45:00 Logic Seminar - Sean Walsh Title: Realizability Semantics for Quantified Modal Logic Speaker: Sean Walsh (UCLA, Dept. of Philosophy) Abstract: In 1985, Flagg produced a model of first-order Peano arithmetic and a modal principle known as Epistemic Church’s Thesis, which roughly expresses that any number-theoretic function known to be total is recursive. In some recent work ([1]), this construction was generalized to allow a construction of models of quantified modal logic on top of just about any of the traditional realizability models of various intuitionistic systems, such as fragments of second-order arithmetic and set theory. In this talk, we survey this construction and indicate what is known about the reduct of these structures to the non-modal language. References: [1] B. G. Rin and S. Walsh. Realizability semantics for quantified modal logic: Generalizing Flagg’s 1985 construction. The Review of Symbolic Logic, 9(4):752–809, 2016.   University Hall 051 Department of Mathematics math@osu.edu America/New_York public

Title: Realizability Semantics for Quantified Modal Logic

Speaker: Sean Walsh (UCLA, Dept. of Philosophy)

Abstract: In 1985, Flagg produced a model of first-order Peano arithmetic and a modal principle known as Epistemic Church’s Thesis, which roughly expresses that any number-theoretic function known to be total is recursive. In some recent work ([1]), this construction was generalized to allow a construction of models of quantified modal logic on top of just about any of the traditional realizability models of various intuitionistic systems, such as fragments of second-order arithmetic and set theory. In this talk, we survey this construction and indicate what is known about the reduct of these structures to the non-modal language.

References: [1] B. G. Rin and S. Walsh. Realizability semantics for quantified modal logic: Generalizing Flagg’s 1985 construction. The Review of Symbolic Logic, 9(4):752–809, 2016.

 

Events Filters: