Back to Results
First PageMeta Content
Ordinal numbers / Constructible universe / Axiom schema of replacement / Absoluteness / Zermelo–Fraenkel set theory / Normal function / Forcing / Boolean-valued model / Mathematical logic / Mathematics / Set theory


The Reflection Theorem: A Study in Meta-Theoretic Reasoning Lawrence C. Paulson University of Cambridge, Computer Laboratory, JJ Thomson Avenue, Cambridge CB3 0FD, UK, [removed]
Add to Reading List

Document Date: 2003-10-29 08:25:04

Open Document

File Size: 213,35 KB

Share Result on Facebook

Company

ZF S / been proved using Isabelle/ZF / Computer Laboratory / /

/

Event

Product Issues / Product Recall / Man-Made Disaster / /

Facility

Meta-Theoretic Reasoning Lawrence C. Paulson University of Cambridge / /

IndustryTerm

proof tools / built-in tools / been verified using proof tools / /

Organization

Meta-Theoretic Reasoning Lawrence C. Paulson University of Cambridge / /

Position

General / author / /

Product

The Reflection Theorem / /

ProgrammingLanguage

ML / /

URL

http /

SocialTag