๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

On the General Theory of Transfinite Numbers and Order Types

โœ Scribed by Hobson, E. W.


Book ID
120104670
Publisher
Oxford University Press
Year
1905
Tongue
English
Weight
566 KB
Volume
s2-3
Category
Article
ISSN
0024-6115

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Systems of Transfinite Type Theory Based
โœ Kenneth A. Bowen ๐Ÿ“‚ Article ๐Ÿ“… 1974 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 953 KB

I n an earlier paper [2], using ZERMELO-FRAENXEL set theory (ZF) as metalanguage, for each ordinal 6 2 1, I introduced a system TTo of transfinite type theory formulated in GENTZEN'S sequentzen style [3]. The notion of sequent and the rules of inference were straightforward generalizations of those