Atlas home || Conferences | Abstracts | about Atlas

Boise Extravaganza in Set Theory
March 25-26, 2007
Knotty Pines Kabins
Idaho City, ID, USA

Organizers
Liljana Babinkostova, Stefan Geschke, Justin Moore, and Marion Scheepers

View Abstracts
Conference Homepage

Ranked b-Calculi and Patterns of Embeddings in Ordinal-Analysis
by
Tim Carlson
Ohio State University

Patterns of embeddings provide a transparent way of describing proof theoretic ordinals. We describe this method and a program to use a refined type of calculus for the logic of well-founded structures in ordinal-analysis.

Date received: March 13, 2007

Copyright © 2007 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caty-11.