Volume 133; Issue 1-2

Synthese

Volume 133; Issue 1-2
1

The Category of Inner Models

Peter Koepke
Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 196 KB
english, 2002
2

Applications Of Elementary Submodels In General Topology

Stefan Geschke
Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 99 KB
english, 2002
3

The History Of Applied Mathematics And The History Of Society

Michael Stolz
Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 92 KB
english, 2002
4

A Term of Length 4 523 659 424 929

A. R. D. Mathias
Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 84 KB
english, 2002
5

Tarski's Fixed-Point Theorem And Lambda Calculi With Monotone Inductive Types

Ralph Matthes
Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 153 KB
english, 2002
6

The Incan Quipus

Antje Christensen
Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 95 KB
english, 2002
7

Comparing Approaches To Resolution Based Higher-Order Theorem Proving

Christoph Benzmüller
Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 219 KB
english, 2002
9

Leibniz's Rigorous Foundation Of Infinitesimal Geometry By Means Of Riemannian Sums

Eberhard Knobloch
Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 639 KB
english, 2002
10

Preface

Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 41 KB
english, 2002
11

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

Hans Jürgen Prömel
Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 134 KB
english, 2002
12

Games In The Semantics Of Programming Languages – An Elementary Introduction

Jan Jürjens
Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 170 KB
english, 2002
13

The Formal Sciences: Their Scope, Their Foundations, and Their Unity

Benedikt Löwe
Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 58 KB
english, 2002
14

Model Checking Techniqes for the Analysis of Reactive Systems

Stephan Merz
Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 250 KB
english, 2002
15

Mathematical Proof Theory in the Light of Ordinal Analysis

Reinhard Kahle
Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 133 KB
english, 2002
16

Slow Versus Fast Growing

Andreas Weiermann
Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 125 KB
english, 2002
18

Foundations of the Formal Sciences I || Large Numbers, Knuth's Arrow Notation, and Ramsey Theory

Hans Jürgen Prömel
Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 1.71 MB
english, 2002
19

Foundations of the Formal Sciences I || A Term of Length 4 523 659 424 929

A. R. D. Mathias
Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 1.02 MB
english, 2002
20

Foundations of the Formal Sciences I || Front Matter

Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 411 KB
english, 2002
21

Foundations of the Formal Sciences I || The Formal Sciences: Their Scope, Their Foundations, and Their Unity

Benedikt Löwe
Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 894 KB
english, 2002
22

Foundations of the Formal Sciences I || The Category of Inner Models

Peter Koepke
Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 2.58 MB
english, 2002
23

Foundations of the Formal Sciences I || Volume Information

Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 241 KB
english, 2002
26

Foundations of the Formal Sciences I || Slow versus Fast Growing

Andreas Weiermann
Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 1.69 MB
english, 2002
27

Foundations of the Formal Sciences I || Back Matter

Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 331 KB
english, 2002
28

Foundations of the Formal Sciences I || Mathematical Proof Theory in the Light of Ordinal Analysis

Reinhard Kahle
Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 2.13 MB
english, 2002
29

Foundations of the Formal Sciences I || Model Checking Techniqes for the Analysis of Reactive Systems

Stephan Merz
Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 2.97 MB
english, 2002
31

Foundations of the Formal Sciences I || Preface

Benedikt Löwe and Florian Rudolph
Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 488 KB
english, 2002
32

Foundations of the Formal Sciences I || Applications of Elementary Submodels in General Topology

Stefan Geschke
Journal:
Synthese
Year:
2002
Language:
english
File:
PDF, 1.05 MB
english, 2002