Predicative Categories of Classes Michael Alton Warren October 28, 2004 Contents Abstract

Source URL: mawarren.net

MARKUS WERNING THE TEMPORAL DIMENSION OF THOUGHT Cortical Foundations of Predicative Representation ABSTRACT. The paper argues that cognitive states of biological systems are inherently

Source URL: paulegre.free.fr

Being Something: Properties and Predicative Quantification M ICHAEL R IEPPEL University of California, Berkeley Abstract If I say that Alice is everything Oscar hopes to be (healthy, wealthy, wise e

Source URL: lambda.jimpryor.net

Revisiting Reduplication Toward a description of reduplication in predicative signs in Swedish Sign Language Carl Börstell

Source URL: www.diva-portal.org

PREDICATIVITY BEYOND Γ0 NIK WEAVER Abstract. We reevaluate the claim that predicative reasoning (given the natural numbers) is limited by the Feferman-Sch¨ utte ordinal Γ0 . First we comprehensively criticize the argu

Source URL: www.math.wustl.edu

Lai, Albert Yu Cheong Curriculum Vitae (address and phone omitted in public) email: trebla [at] vex [dot] net Born in 1969 Citizenship: Canadian

Source URL: www.vex.net

• Formal methods
• University of Toronto
• Theoretical computer science
• Eric Hehner
• Program derivation
• Predicative programming
• Refinement
• Formal verification
• Department of Computer Science

ON IRRELEVANCE AND ALGORITHMIC EQUALITY IN PREDICATIVE TYPE THEORY ANDREAS ABEL AND GABRIEL SCHERER Department of Computer Science, Ludwig-Maximilians-University Munich e-mail address: Gallium tea

Source URL: www2.tcs.ifi.lmu.de

37 Absolute Constructions: On the Distribution of Predicative Idioms Susanne Z. Riehemann & Emily Bender Stanford University

Source URL: doors.stanford.edu

Predicative Categories of Classes Michael Alton Warren October 28, 2004 Contents Abstract

Source URL: www.phil.cmu.edu

Predicative Fragments of Frege Arithmetic Øystein Linnebo September 15, 2003 Abstract Frege Arithmetic (FA) is the second-order theory whose sole non-logical axiom is Hume’s

Source URL: oysteinlinnebo.org