Repository | Journal | Volume

COPR BookmarkLink
237268

2002

303 Pages

ISBN n/a

Synthese

Foundations of the formal sciences I

Vol. 133 (1-2)

Edited by

Benedikt Löwe , Florian Rudolph

Publication details

Full citation:

Löwe, B. , Rudolph, F. (eds) (2002). Foundations of the formal sciences I. Synthese 133 (1-2).

Table of Contents

Preface

Löwe Benedikt; Rudolph Florian

1-4

Open Access Link
The formal sciences

Löwe Benedikt

5-11

Open Access Link
Slow versus fast growing

Weiermann Andreas

13-29

Open Access Link
Applications of elementary submodels in general topology

Geschke Stefan

31-41

Open Access Link
The history of applied mathematics and the history of society

Stolz Michael

43-57

Open Access Link
Leibniz's rigorous foundation of infinitesimal geometry by means of Riemannian sums

Knobloch Eberhard

59-73

Open Access Link
A term of length 4 523 659 424 929

Mathias A. R. D.

75-86

Open Access Link
Large numbers, Knuth's arrow notation, and Ramsey theory

Prömel Hans-Jürgen

87-105

Open Access Link
Tarski's fixed-point theorem and lambda calculi with monotone inductive types

Matthes Ralph

107-129

Open Access Link
Games in the semantics of programming languages

Jürjens Jan

131-158

Open Access Link
The incan quipus

Christensen Antje

159-172

Open Access Link
Model checking techniqes for the analysis of reactive systems

Merz Stephan

173-201

Open Access Link
Comparing approaches to resolution based higher-order theorem proving

Benzmüller Christoph

203-335

Open Access Link
Mathematical proof theory in the light of ordinal analysis

Kahle Reinhard

237-255

Open Access Link
Concepts and aims of functional interpretations

Burr Wolfgang

257-274

Open Access Link
The category of inner models

Koepke Peter

275-303

Open Access Link
Is this table of contents incomplete? Click here to add the missing references