海量图书期刊资源,随时随地畅享阅读乐趣
A note on the Σ1 spectrum of a theoryMichael Möllerfeld; Michael Rathjen · Archive for Mathematical Logic · 2002
The natural numbers in constructive set theoryMichael Rathjen · 2008
Proof theory of reflectionMichael Rathjen · 1994
Proof-theoretic analysis of KPMMichael Rathjen · Archive for Mathematical Logic · 1991
An ordinal analysis of stabilityMichael Rathjen · Archive for Mathematical Logic · 2005
An ordinal analysis of parameter freeMichael Rathjen · Archive for Mathematical Logic · 2005
Theories and Ordinals in Proof TheoryMichael Rathjen · Synthese · 2006
On the constructive Dedekind realsRobert S. Lubarsky; Michael Rathjen · 2008
Philosophical materialismColin McGinn · Synthese · 1980
Dispositions, logical states, and mental occurrentsRonald C. Hoy · Synthese · 1980
A probabilistic causal calculus: Conflicting conceptionsJames H. Fetzer; Donald E. Nute · Synthese · 1980
ReviewKeith Campbell · Synthese · 1980
Probability as a theoretical conceptLawrence Sklar · Synthese · 1979
Tyche and AthenaHenry E. Kyburg · Synthese · 1979
Propensity and necessityRonald N. Giere · Synthese · 1979
Books and journals receivedSynthese · 1979