Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings

Editor(s) Petr Hájek

Lecture Notes Logic, 6: 322pp. (1996).

Abstract

No abstract available

Hide All Book Information -

Information

Lecture Notes in Logic, Volume 6

322 pp.

Published: 1996

First available in Project Euclid: 23 February 2009

MathSciNet: MR1441098

ISBN: 3540614346

Subjects:

Primary: 03A05 , 03Bxx , 03Cxx , 03Dxx , 03Exx , 03Fxx , 85A40

Lecture Notes in Logic

Next Volume >

Association for Symbolic Logic

TABLE OF CONTENTS
View All Abstracts +

Miscellaneous Frontmatter

Lecture Notes in Logic Vol. 6, - (1996). Open Access

Table of Contents

Lecture Notes in Logic Vol. 6, - (1996). Open Access

Preface

Lecture Notes in Logic Vol. 6, v-vi (1996). Open Access

Part I: Invited Papers

Gödel's program for new axioms: why, where, how and what?

Solomon Feferman

Lecture Notes in Logic Vol. 6, 3-22 (1996). Open Access

Infinite-valued Gödel logics with $0$-$1$-projections and relativizations

Matthias Baaz

Lecture Notes in Logic Vol. 6, 23-33 (1996). Open Access

Contributions of K. Gödel to relativity and cosmology

G. F. R. Ellis

Lecture Notes in Logic Vol. 6, 34-49 (1996). Open Access

Kurt Gödel and the constructive mathematics of A. A. Markov

Boris A. Kushner

Lecture Notes in Logic Vol. 6, 50-63 (1996). Open Access

Hao Wang as philosopher

Charles Parsons

Lecture Notes in Logic Vol. 6, 64-80 (1996). Open Access

A bottom-up approach to foundations of mathematics

Pavel Pudlák

Lecture Notes in Logic Vol. 6, 81-97 (1996). Open Access

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

Wilfried Sieg, John Byrnes

Lecture Notes in Logic Vol. 6, 98-119 (1996). Open Access

Forcing on bounded arithmetic

Gaisi Takeuti, Masahiro Yasumoto

Lecture Notes in Logic Vol. 6, 120-138 (1996). Open Access

Uniform interpolation and layered bisimulation

Albert Visser

Lecture Notes in Logic Vol. 6, 139-164 (1996). Open Access

Part II: Contributed Papers

Gödel's ontological proof revisited

C. Anthony Anderson, Michael Gettings

Lecture Notes in Logic Vol. 6, 167-172 (1996). Open Access

A uniform theorem proving tableau method for modal logic

Tadashi Araragi

Lecture Notes in Logic Vol. 6, 173-182 (1996). Open Access

Decidability of the $\exists^*\forall^*$-class in the membership theory NWL

Dorella Bellè, Franco Parlamento

Lecture Notes in Logic Vol. 6, 183-194 (1996). Open Access

A logical approach to complexity bounds for subtype inequalities

Marcin Benke

Lecture Notes in Logic Vol. 6, 195-204 (1996). Open Access

How to characterize provably total functions by the Buchholz operator method

Benjamin Blankertz, Andreas Weiermann

Lecture Notes in Logic Vol. 6, 205-213 (1996). Open Access

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

Giora Hon

Lecture Notes in Logic Vol. 6, 214-223 (1996). Open Access

A bounded arithmetic theory for constant depth threshold circuits

Jan Johannsen

Lecture Notes in Logic Vol. 6, 224-234 (1996). Open Access

Information content and computational complexity of recursive sets

Lars Kristiansen

Lecture Notes in Logic Vol. 6, 235-246 (1996). Open Access

Kurt Gödel and the consistency of ${\rm R}^{##}$

Robert K. Meyer

Lecture Notes in Logic Vol. 6, 247-256 (1996). Open Access

Best possible answer is computable for fuzzy SLD-resolution

Leonard Paulík

Lecture Notes in Logic Vol. 6, 257-266 (1996). Open Access

The finite stages of inductive definitions

Robert F. Stärk

Lecture Notes in Logic Vol. 6, 267-290 (1996). Open Access

Gödel and the theory of everything

Michael Stöltzner

Lecture Notes in Logic Vol. 6, 291-306 (1996). Open Access

Replacement $\nrightarrow$ collection

Andrzej M. Zarach

Lecture Notes in Logic Vol. 6, 307-322 (1996). Open Access

Miscellaneous Backmatter

Lecture Notes in Logic Vol. 6, - (1996). Open Access

Abstract

Information

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS