Preserving cardinals and weak forms of Zorn’s lemma in realizability models
1Citations signalées — pas une note de qualité
2Institutions déclarées
1Pays d’affiliation déclarés
Résumé fourni par la source
Abstract We develop a technique for representing and preserving cardinals in realizability models, and we apply this technique to define a realizability model of Zorn’s lemma restricted to an ordinal.
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.
Contrôle bibliographique ouvert
DOI retrouvé dans Crossref DOI retrouvé ; titre concordant.
- Titre Crossref
- Preserving cardinals and weak forms of Zorn’s lemma in realizability models
- Date Crossref
- 01/10/2020
- Éditeur
- Cambridge University Press (CUP)
- Type
- journal-article
Ce recoupement confirme des métadonnées liées au DOI. Il ne confirme ni la méthode ni les conclusions de l’étude et ne compte pas comme une seconde source scientifique indépendante.
Institutions déclarées
Une affiliation ne permet pas de déduire la nationalité d’un auteur.
Sujets associés
Logic, Reasoning, and KnowledgeSemantic Web and OntologiesLogic, programming, and type systems