1. The abbreviations BPI or PIT (for Boolean algebras) are sometimes used to refer to this additional axiom.

Les abréviations BPI ou PIT (pour les algèbres de Boole) sont parfois utilisées pour se référer à cet axiome supplémentaire.

2. Indeed, it turns out that the MITs for distributive lattices and even for Heyting algebras are equivalent to the axiom of choice.

En effet, il s'avère que les MITs pour les treillis distributifs et même pour les algèbres de Heyting sont équivalents à l'axiome du choix.

3. The problem of finding a constructive way of interpreting the rules of the Martin-Löf type theory that in addition satisfies the univalence axiom and canonicity for natural numbers remains open.

Le problème de trouver un moyen constructif d'interpréter les règles de la théorie des types de Martin-Löf qui de plus satisfasse à l'axiome d'univalence et à la canonicité pour les entiers naturels reste ouvert.

4. A tractable abduction procedure for a lightweight description logic EL is introduced extending recent research on automata- based axiom pinpointing by assuming information from a predefined abducible part of the domain model.

La présente invention se rapporte à une procédure souple d'abduction pour une logique de description légère (EL) qui est présentée dans le prolongement d'une recherche récente sur l'identification des axiomes par des automates en supposant des informations provenant d'une partie hypothétique prédéfinie du modèle de domaine.