This paper giw's more general conditions under which McCarthy's circumscription is consistent, allowing application of the method outside the domain of universal sentences. It is shown that circumscription as presented here continues to correspond to the semantic model of minimization. Some applicat
β¦ LIBER β¦
Consistency of the Adiabatic Theorem
β Scribed by M. S. Sarandy; L.-A. Wu; D. A. Lidar
- Publisher
- Springer US
- Year
- 2004
- Tongue
- English
- Weight
- 138 KB
- Volume
- 3
- Category
- Article
- ISSN
- 1570-0755
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
A theorem on the consistency of circumsc
β
Peter L. Mott
π
Article
π
1987
π
Elsevier Science
π
English
β 536 KB
Remarks on the formulations of the adiab
β
M. BoΕΎiΔ; R. Lombard; Z. MariΔ
π
Article
π
1991
π
Springer
π
English
β 712 KB
Reducing the consistency strength of an
β
Arthur W. Apter
π
Article
π
2008
π
John Wiley and Sons
π
English
β 91 KB
## Abstract Using an idea of Sargsyan, we show how to reduce the consistency strength of the assumptions employed to establish a theorem concerning a uniform level of indestructibility for both strong and supercompact cardinals. (Β© 2008 WILEYβVCH Verlag GmbH & Co. KGaA, Weinheim)
Applications of Many-Sorted Robinson Con
β
Daniele Mundici
π
Article
π
1981
π
John Wiley and Sons
π
English
β 489 KB
An Institution-Independent Proof of the
β
Daniel GΓ’inΓ’; Andrei Popescu
π
Article
π
2007
π
Springer Netherlands
π
English
β 365 KB
An adiabatic theorem applicable to the s
β
E. B. Davies
π
Article
π
1983
π
Springer
π
English
β 502 KB