Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

APAL
2005

favoriteEmaildiscussreport

83views more APAL 2005»

Reflections on reflections in explicit mathematics

13 years 4 months ago

Reflections on reflections in explicit mathematics

Download www.iam.unibe.ch

We give a broad discussion of reflection principles in explicit mathematics, thereby addressing various kinds of universe existence principles. The proof-theoretic strength of the relevant systems of explicit mathematics is couched in terms of suitable extensions of KripkePlatek set theory.

Gerhard Jäger, Thomas Strahm

Real-time Traffic

APAL 2005 | Explicit Mathematics | Reflection Principles | Universe Existence Principles |

claim paper

Related Content

» Explicit Reflection in PrologTutor

» Measuring and modeling anisotropic reflection

» Issues in the Design of an Environment to Support the Learning of Mathematical Generalisat...

» Photometric ImageBased Rendering for Image Generation in Arbitrary Illumination

» Learning about Constraints by Reflection

» NeoFregean Foundations for Real Analysis Some Reflections on Freges Constraint

» Curved Reflection Symmetry Detection with Selfvalidation

» UserControlled Reflection on Join Points

» Separating Reflection Components of Textured Surfaces using a Single Image

Post Info
More Details (n/a)

Added	15 Dec 2010
Updated	15 Dec 2010
Type	Journal
Year	2005
Where	APAL
Authors	Gerhard Jäger, Thomas Strahm

Comments (0)