1 - 3 of 3 articles
Knowledge modal formulas are interpreted by a universal modal world in the hypersets universe [A]. This remedies the limitation of the interpretation of knowledge formulas by a tower of modal worlds in the well founded universe [F], where each world can interpret only a portion of knowledge...
A modified version of Normann's hierarchy of domains with totality  is presented and is shown to be suitable for interpretation of Martin-Löf's intuitionistic type theory. This gives an interpretation within classical set theory, which is natural in the sense that
be the first infinite ordinal (or the set of all natural numbers) with the usual order
. In § 1 we show that, assuming the consistency of a supercompact cardinal, there may exist an ultrapower of
, whose cardinality is (1) a singular strong limit cardinal, (2) a...
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.