Volume 133, Issue 1-2 | Synthese

Home
Synthese
Volumes and issues
Volume 133, Issue 1-2

Synthese

An International Journal for Epistemology, Methodology and Philosophy of Science

Publishing model:: Hybrid

Submit your manuscript

Search all Synthese articles

Volume 133, Issue 1-2

October 2002

Foundations of the Formal Sciences I

Issue Editors:

Benedikt Löwe,
Florian Rudolph

16 articles in this issue

Preface

Preface Pages: 1 - 4
The Formal Sciences: Their Scope, Their Foundations, and Their Unity
Benedikt Löwe
OriginalPaper Pages: 5 - 11
Slow Versus Fast Growing
Andreas Weiermann
OriginalPaper Pages: 13 - 29
Applications Of Elementary Submodels In General Topology
Stefan Geschke
OriginalPaper Pages: 31 - 41
The History Of Applied Mathematics And The History Of Society
Michael Stolz
OriginalPaper Pages: 43 - 57
Leibniz's Rigorous Foundation Of Infinitesimal Geometry By Means Of Riemannian Sums
Eberhard Knobloch
OriginalPaper Pages: 59 - 73
A Term of Length 4 523 659 424 929
A. R. D. Mathias
OriginalPaper Pages: 75 - 86
Large numbers, Knuth's arrow notation, and Ramsey theory
Hans Jürgen Prömel
OriginalPaper Pages: 87 - 105
Tarski's Fixed-Point Theorem And Lambda Calculi With Monotone Inductive Types
Ralph Matthes
OriginalPaper Pages: 107 - 129
Games In The Semantics Of Programming Languages – An Elementary Introduction
Jan Jürjens
OriginalPaper Pages: 131 - 158
The Incan Quipus
Antje Christensen
OriginalPaper Pages: 159 - 172
Model Checking Techniqes for the Analysis of Reactive Systems
Stephan Merz
OriginalPaper Pages: 173 - 201
Comparing Approaches To Resolution Based Higher-Order Theorem Proving
Christoph Benzmüller
OriginalPaper Pages: 203 - 335
Mathematical Proof Theory in the Light of Ordinal Analysis
Reinhard Kahle
OriginalPaper Pages: 237 - 255
Concepts and aims of functional interpretations: towards a functional interpretation of constructive set theory
Wolfgang Burr
OriginalPaper Pages: 257 - 274
The Category of Inner Models
Peter Koepke
OriginalPaper Pages: 275 - 303