Benjamin G. Rin

Learn More
We show that the actuality operator A is redundant in any propositional modal logic characterized by a class of Kripke models (respectively, neighborhood models). Specifically, we prove that for every formula φ in the propositional modal language with A, there is a formula ψ not containing A such that φ and ψ are materially equivalent at the actual world in(More)
A semantics for quantified modal logic is presented that is based on Kleene's notion of realizability. This semantics generalizes Flagg's 1985 construction of a model of a modal version of Church's Thesis and first-order arithmetic. While the bulk of the paper is devoted to developing the details of the semantics, to illustrate the scope of this approach,(More)
  • Benno Van Den Berg, Sam Van Gool, Löwe Benedikt, Jaap Van Oosten, Benjamin Rin
  • 2016
In this thesis we present a new model of Martin-Löf type theory with identity types in the effective topos. Using the homotopical approach to type theory, the model is induced from a Quillen model category structure on a full subcategory of the effective topos. To aid the construction we introduce a general method of obtaining model category structures on a(More)
The aim of this thesis is twofold. Firstly, to find and analyse models for non-standard natural arithmetic in a category of sheaves on a site. Secondly, to give an introduction in this area of research. In the introduction we take the reader from the basics of category theory to sheaves and sheaf semantics. We purely focus on the category theory needed for(More)
  • Allen, P Hazen, Benjamin G Rin, Kfw, Tarskis Lügner " [ " Tarski 's Liar, In B Fait +4 others
  • 2013
Publications 1. Robert May & KFW, " The Proof of Hume's Principle, " forthcoming in P. Ebert and M. Rossberg (eds.), A Companion to Frege's Grundgesetze, Oxford University Press. 2. " Still living without identity: Reply to Trueman " (discussion note), accepted for publication in the Australasian Journal of Philosophy. 3. " Nothing but d-truth " (discussion(More)
  • 1