Gödel '96
Latest Publications

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Cambridge University Press

9781316716939
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Gödel and the Theory of Everything

Gödel '96 ◽  
2017 ◽  
pp. 291-306
Author(s):  
Michael Stöltzner
Keyword(s):  
Theory Of Everything

Preface

Gödel '96 ◽  
2017 ◽  
pp. vii-viii

Decidability of the Class in the Membership Theory NWL

Gödel '96 ◽  
2017 ◽  
pp. 183-194
Author(s):  
Dorella Bellé ◽  
Franco Parlamento

A bottom-up approach to foundations of mathematics

Gödel '96 ◽  
2017 ◽  
pp. 81-97 ◽  
Author(s):  
Pavel Pudlák
Keyword(s):  
Foundations Of Mathematics ◽  
Bottom Up

Contributions of K. Gödel to Relativity and Cosmology

Gödel '96 ◽  
2017 ◽  
pp. 34-49
Author(s):  
G.F.R. Ellis

Uniform Interpolation and Layered Bisimulation

Gödel '96 ◽  
2017 ◽  
pp. 139-164 ◽  
Author(s):  
Albert Visser
Keyword(s):  
Uniform Interpolation

K-graph Machines: generalizing Turing's machines and arguments

Gödel '96 ◽  
2017 ◽  
pp. 98-119 ◽  
Author(s):  
Wilfried Sieg ◽  
John Byrnes

The finite stages of inductive definitions

Gödel '96 ◽  
2017 ◽  
pp. 267-290
Author(s):  
Robert F. Stärk
Keyword(s):  
Inductive Definitions

Completeness has to be restricted: Gödel's interpretation of the parameter t

Gödel '96 ◽  
2017 ◽  
pp. 214-223
Author(s):  
Giora Hon

How to characterize provably total functions

Gödel '96 ◽  
2017 ◽  
pp. 205-213 ◽  
Author(s):  
Benjamin Blankertz ◽  
Andreas Weiermann
Load More ...
Sign in / Sign up

Export Citation Format

Share Document