Reflection in First-Order Logic

by Eli Barzilay
2000-2001

We will discuss a recent mini-project that I have been working on with Bob and Stuart - "Reflection in First-Order Logic" - an attempted 1st-order language description that can accommodate reflection.

PRL Home
Introduction
The Nuprl book
Origins of the PRL Project
Goals
Dynamics of the Project
Mathematical Expression in Nuprl
Cross Links to Math & CS Fields

Knowledge Base
Math Library
Publications
Projects
CRASH
Nuprl/FDL System
EventML Software
Seminar

People
Wiki
The Book
Lectures
Other Groups

Reflection in First-Order Logic

by Eli Barzilay 2000-2001

by Eli Barzilay
2000-2001