k-continuous lattices and comprehension principles for frege structures
نویسندگان
چکیده
منابع مشابه
Universes over Frege structures
We investigate universes axiomatized as sets with natural closure conditions over Frege structures. In the presence of a natural form of induction, we obtain a theory of proof-theoretic strength 0 .
متن کاملCarbon K edge structures of molecular crystals from first-principles: A comparison between phenanthrene and anthracene
By means of ab-initio calculations on the basis of the FPLAPW method, we compared the energy loss near edge structure (ELNES) of carbon K edges in crystalline phenanthrene and its isomer, anthracene. In these two organic compounds, different non-equivalent carbon atoms can result in distinct K edge spectra due to the different carbon-carbon bond lengths, as a characteristic behavior of the mole...
متن کاملFrege Structures for Partial Applicative Theories
Due to strictness problems, usually the syntactical definition of Frege structures is conceived as a truth theory for total applicative theories. To investigate Frege structures in a partial framework we can follow two ways. First, simply by ignoring undefinedness in the truth definition. Second, by introducing of a certain notion of pointer. Both approaches are compatible with the traditional ...
متن کاملBounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles
We prove a quasi-polynomial lower bound on the size of bounded-depth Frege proofs of the pigeonhole principle PHPm n where m 1 1 polylog n n. This lower bound qualitatively matches the known quasi-polynomial-size bounded-depth Frege proofs for these principles. Our technique, which uses a switching lemma argument like other lower bounds for boundeddepth Frege proofs, is novel in that the tautol...
متن کاملContinuous Lattices and Domains
In order to give the book under review the right appreciation it is necessary to first say a few words about its predecessor, the monograph A Compendium of Continuous Lattices which was published by the same six authors in 1980. The Compendium, as it is commonly called, contains a rather complete and very readable account of the theory of continuous lattices as is was known by that time. It has...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1987
ISSN: 0168-0072
DOI: 10.1016/0168-0072(87)90008-x