All Stories

  1. Never trust an unsound theory
  2. HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC
  3. From Tree Adjoining Grammars to Higher Order Representations of Abstract Meaning Representations via Abstract Categorial Grammars
  4. Bayesian Inference Semantics: A Modelling System and A Test Suite
  5. MARGINALIA ON A THEOREM OF WOODIN