The continuum hypothesis : independence and truth-value

But higher order logic is not sufficient for Analysis ; we need some axioms : DC (dependent choice) is absolutely necessary..

L’accès aux archives de la revue « Rendiconti del Seminario Matematico della Università di Padova » ( http://rendiconti.math.unipd.it/ ) implique l’accord avec les

The paper is organized as follows. In §2 we formulate the two Π 2 -sentences and outline the tasks which must be completed to prove the main theorem. §3 contains a discussion of

Shelah has established certain suffi- cient conditions on a class C of partial orders in order for the forcing axiom for C to be consistent with CH.. His question concerns to

When forming their value proposition, which is needed for acquiring new customers, the company may focus one of the three main assets that are needed to run process instances:

In contrast, the presence of any kind of disjunction in the ontology results in the existence of models that differ in the queries they entail, and makes the query entailment

In this talk we survey what has been achieved so far, discussing lessons and implications from a few successful case studies, including browsing of web search results,

For example, suppose one wanted to construct an ontology which would help to facilitate better casualty servicing by organizing information in a way that benefited