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

Measure theory based on lattices and transfinite recursion

โœ Scribed by Oliver Deiser

Publisher
Springer
Year
2009
Tongue
English
Weight
155 KB
Volume
92
Category
Article
ISSN
0003-889X

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Transfinite Recursion in a Theory of Pro
Transfinite Recursion in a Theory of Properties
โœ Stephen Pollard ๐Ÿ“‚ Article ๐Ÿ“… 1986 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 496 KB

As SCOTT has shown, the Replacement. scheme of Z F derives a large part, of its strength from the Extensionality axiom. For in the absence of the latter, the supply of demonstrably functional formula matrices is relatively ineagei..l) I n this situation, u-e can restore some of Replacemmt's vigor by

Systems of Transfinite Type Theory Based
Systems of Transfinite Type Theory Based on Intuitionistic and Modal Logics
โœ 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