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

Anti-foundation and self-reference

โœ Scribed by Colin McLarty

Publisher
Springer Netherlands
Year
1993
Tongue
English
Weight
533 KB
Volume
22
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Dependent Choices and Anti-Foundation
Dependent Choices and Anti-Foundation
โœ Hisato Muraki ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 267 KB

In Zermelo-Fraenkel set theory without the Axiom of Foundation we study the schema version of the principle of dependent choices in connection with Aczel's antifoundation axiom (a part of it), Boffa's anti-foundation axiom, and axiom of collection.

Self-reference and validity
Self-reference and validity
โœ Stephen Read ๐Ÿ“‚ Article ๐Ÿ“… 1979 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 458 KB
Inference and self-reference
Inference and self-reference
โœ Bas C. Fraassen ๐Ÿ“‚ Article ๐Ÿ“… 1970 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 690 KB
Parametrized Quotation and Self-Referenc
Parametrized Quotation and Self-Reference
โœ C.M.W. Little ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 206 KB

This paper is concerned with the theoretical issues surrounding the specification of self-applicative computer programs. In particular we seek to explain the competing requirements desireable of any formal system that admits both of self-reference and quotation, and present three new solutions to th