Publications

Export 3 results:
Filters: Author is Wilfried Sieg  [Clear All Filters]
In Press
Jäger, G.: The Operational Penumbra: Some Ontological Aspects. In: Jäger, G. and Sieg, W. Feferman on Foundations. Springer (In Press).
Strahm, T.: Unfolding schematic systems. In: Jäger, G. and Sieg, W. Feferman on Foundations - Logic, Mathematics, Philosophy. Springer (In Press).
2002
Jäger, G., Strahm, T.: The proof-theoretic analysis of the Suslin operator in applicative theories. In: Sieg, W., Sommer, R., and Talcott, C. Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman. pp. 270-292. AK Peters (2002).