Synthese

Foundations of the formal sciences I

Vol. 133 (1-2)

Benedikt Löwe , Florian Rudolph (ed)

Table of Contents
Download
Other Editions

Open Access Link
1-4
Preface

Löwe Benedikt; Rudolph Florian

Open Access Link
5-11
The formal sciences

Löwe Benedikt

Open Access Link
13-29
Slow versus fast growing

Weiermann Andreas

Open Access Link
31-41
Applications of elementary submodels in general topology

Geschke Stefan

Open Access Link
43-57
The history of applied mathematics and the history of society

Stolz Michael

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

Knobloch Eberhard

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

Mathias A. R. D.

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

Prömel Hans-Jürgen

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

Matthes Ralph

Open Access Link
131-158
Games in the semantics of programming languages

Jürjens Jan

Open Access Link
159-172
The incan quipus

Christensen Antje

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

Merz Stephan

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

Benzmüller Christoph

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

Kahle Reinhard

Open Access Link
257-274
Concepts and aims of functional interpretations

Burr Wolfgang

Open Access Link
275-303
The category of inner models

Koepke Peter

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

Not implemented yet !