WorldCat Identities

Rathjen, Michael

Overview
Works: 22 works in 37 publications in 2 languages and 321 library holdings
Genres: Academic theses 
Roles: Editor, Author
Publication Timeline
.
Most widely held works by Michael Rathjen
Gentzen's centenary : the quest for consistency( )

12 editions published between 2014 and 2015 in English and German and held by 280 WorldCat member libraries worldwide

Gerhard Gentzen has been described as logic's lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen's enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen's original consistency proofs to the most recent developments in proof theory. Gentzen founded modern proof theory. His sequent calculus and natural deduction system beautifully explain the deep symmetries of logic. They underlie modern developments in computer science such as automated theorem proving and type theory
One hundred years of Russell's paradox : mathematics, logic, philosophy( )

1 edition published in 2008 in English and held by 14 WorldCat member libraries worldwide

Die in diesem Band zusammengefassten Beiträge stellen die wesentlichen Forschungsergebnisse der internationalen Münchner Konferenz "100 Jahre Russell-Paradoxon" im Jahr 2001 dar, auf der an die Entdeckung des berühmten Russell Paradoxons vor 100 Jahren erinnert wurde. Die 31 Beiträge und der Einführungsessay des Herausgebers wurden alle - bis auf zwei Ausnahmen - ursprünglich für diesen Band verfasst
Konzepte fur eine effiziente organisation der staatlichen tatigkeit by Michael Rathjen( Book )

3 editions published between 2001 and 2013 in German and English and held by 4 WorldCat member libraries worldwide

Inaccessibility in constructive set theory and type theory by Edward R Griffor( Book )

2 editions published in 1996 in English and held by 2 WorldCat member libraries worldwide

Proof theory of graph minors and tree embeddings by Martin Rudolf Arne Krombholz( )

1 edition published in 2018 in English and held by 1 WorldCat member library worldwide

The strength of some Martin-Löf type theories by Edward R Griffor( Book )

1 edition published in 1994 in English and held by 1 WorldCat member library worldwide

Untersuchungen zu Teilsystemen der Zahlentheorie zweiter Stufe und der Mengenlehre mnmit einer zwischen Delta 1/2-CA und Delta 1/2-CA+BI liegendenBeweisstärke by Michael Rathjen( Book )

1 edition published in 1988 in Undetermined and held by 1 WorldCat member library worldwide

<> by Ian Alexander Thomson( )

1 edition published in 2017 in English and held by 1 WorldCat member library worldwide

Untersuchungen zu Teilsystemen der Zahlentheorie zweiter Stufe und der Mengenlehre mit einer zwischen D12-CA [Delta-CA] und D12-CA [Delta-CA] + BI liegenden Beweisstärke by Michael Rathjen( Book )

1 edition published in 1988 in German and held by 1 WorldCat member library worldwide

The art of ordinal analysis by Michael Rathjen( )

1 edition published in 2006 in English and held by 1 WorldCat member library worldwide

Eine Ordinalzahlanalyse der Pi 3 -Reflexion by Michael Rathjen( Book )

1 edition published in 1992 in German and held by 1 WorldCat member library worldwide

<> by Anton Jonathan Freund( )

1 edition published in 2018 in English and held by 1 WorldCat member library worldwide

The strength of Martin-Löf type theory with a superuniverse by Michael Rathjen( Book )

in English and held by 1 WorldCat member library worldwide

Explicit mathematics with the monotone fixed point principle by Michael Rathjen( Book )

1 edition published in 1996 in English and held by 1 WorldCat member library worldwide

Reflections on Frege and Hilbert( Book )

1 edition published in 2005 in English and held by 1 WorldCat member library worldwide

Homotopy type-theoretic interpretations of constructive set theories by Cesare Gallozzi( )

1 edition published in 2018 in English and held by 1 WorldCat member library worldwide

The strength of Martin-Löf type theory with a superuniverse : part I by Michael Rathjen( Book )

1 edition published in 1997 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.55 (from 0.06 for One hundre ... to 0.97 for The streng ...)

Languages
English (25)

German (9)