Finite presentability of strongly finite dilators
Page 1
Displaying 1 – 11 of 11
Finite presentability of strongly finite dilators
Osamu Takaki (2010)
RAIRO - Theoretical Informatics and Applications
In this paper, we establish the following results: (i) every strongly finite dilator is finitely presentable in the category of endofunctors on the category of ordinals; (ii) a dilator F is strongly finite if and only if F is finitely presentable in the category of dilators.
Finite sets and Gödel's incompleteness theorems [Book]
S. Świerczkowski (2003)
Finite sum-product logic.
Cockett, J.R.B., Seely, R.A.G. (2001)
Theory and Applications of Categories [electronic only]
Formally self-referential propositions for cut free classical analysis and related systems [Book]
G. Kreisel, G. Takeuti (1974)
Fragments of complete extensions of PA and McDowell-Specker's theorem.
Farah, Ilijas (1992)
Publications de l'Institut Mathématique. Nouvelle Série
From Foundations to Science: Justifying and Unwinding Proofs
Georg Kreisel (1977)
Zbornik Radova
Functions provably total in
Zofia Adamowicz, Teresa Bigorajska (1989)
Fundamenta Mathematicae
Functorial bounds for cut elimination in L... .I.
Marie-Christine Ferbus (1984)
Archiv für mathematische Logik und Grundlagenforschung
Functorial bounds for cut elimination in L.. .II.
Marie-Christine Ferbus (1985)
Archiv für mathematische Logik und Grundlagenforschung
Further applications of ultra-conservative ...-rules.
E.G.K. López-Escobar (1982)
Archiv für mathematische Logik und Grundlagenforschung
Currently displaying 1 – 11 of 11
Page 1