Synthese

Repository | Journal | Volume

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

The formal sciences

Löwe Benedikt

5-11

Slow versus fast growing

Weiermann Andreas

13-29

Applications of elementary submodels in general topology

Geschke Stefan

31-41

The history of applied mathematics and the history of society

Stolz Michael

43-57

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

Knobloch Eberhard

59-73

A term of length 4 523 659 424 929

Mathias A. R. D.

75-86

Large numbers, Knuth's arrow notation, and Ramsey theory

Prömel Hans-Jürgen

87-105

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

Matthes Ralph

107-129

Games in the semantics of programming languages

Jürjens Jan

131-158

The incan quipus

Christensen Antje

159-172

Model checking techniqes for the analysis of reactive systems

Merz Stephan

173-201

Comparing approaches to resolution based higher-order theorem proving

Benzmüller Christoph

203-335

Mathematical proof theory in the light of ordinal analysis

Kahle Reinhard

237-255

Concepts and aims of functional interpretations

Burr Wolfgang

257-274

The category of inner models

Koepke Peter

275-303

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

This document is unfortunately not available for download at the moment.