1 - 7 of 7 articles
A pointwise version of the Howard-Bezem notion of hereditary majorization is introduced which has various advantages, and its relation to the usual notion of majorization is discussed. This pointwise majorization of primitive recursive functionals (in the sense of Gödel'sT as well as...
We show that it is consistent with ZFC that the intersection of some family of less than[Figure not available: see fulltext.] ultrafilters have measure zero. This answers a question of D. Fremlin.
It is shown that there exists no grammatical translation into classical (propositional) logic of the modal logics, nor of intuitionistic logic and of the relatedness and dependence logics, as defined in Richard L. Epstein's bookThe Semantic foundations of logic. In the book the result is proved...
The present paper is based on , where a number of conjectures are made concerning the structure of the lattice[Figure not available: see fulltext.] of normal extensions of the tense logicKt. That paper was mainly dealing with splittings of[Figure not available: see fulltext.] and some...
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Sign Up Log In
To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.