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
β¦ LIBER β¦
A Limit for Higher Recursion Theory
β Scribed by H. Luckhardt
- Publisher
- John Wiley and Sons
- Year
- 1979
- Tongue
- English
- Weight
- 286 KB
- Volume
- 25
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Transfinite Recursion in a Theory of Pro
β
Stephen Pollard
π
Article
π
1986
π
John Wiley and Sons
π
English
β 496 KB
A Consistent Higher-Order Theory Without
β
Thomas Forster
π
Article
π
1989
π
John Wiley and Sons
π
English
β 96 KB
A higher order dynamic theory for isotro
β
A.-H. Muneeb; G.A. Birlik; Y. Mengi
π
Article
π
1995
π
Elsevier Science
π
English
β 411 KB
Cumulative Higher-Order Logic as a Found
β
Wolfgang Degen; Jan Johannsen
π
Article
π
2000
π
John Wiley and Sons
π
English
β 388 KB
A new recursion method for fiber grating
β
Zi Hua Wang; Gang-Ding Peng; Adrian Ankiewicz; Pak L. Chu
π
Article
π
2001
π
John Wiley and Sons
π
English
β 160 KB
## Abstract A new recursion method for the analysis of fiber gratings has been derived. Braggβmatched and detuned uniform gratings and nonuniform gratings have been analyzed by using this method. The results have been compared with that by using the coupledβmode theory and other methods.βΒ© 2001 Joh
Nonrelativistic Limit of Scattering Theo
β
Kenji Nakanishi
π
Article
π
2002
π
Elsevier Science
π
English
β 164 KB