Corrigendum & Addendum to: Variations on a Visserian theme

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autore principale: Enayat, Ali
Natura: Preprint
Pubblicazione: 2026
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866911451793326080
author Enayat, Ali
author_facet Enayat, Ali
contents We revisit the proof of solidity of KM (Kelley-Morse theory of classes), as presented in the 2016 paper "Variations on a Visserian theme", so as to indicate the role of the scheme of class collection in the proof.
format Preprint
id arxiv_https___arxiv_org_abs_2602_15081
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Corrigendum & Addendum to: Variations on a Visserian theme
Enayat, Ali
Logic
We revisit the proof of solidity of KM (Kelley-Morse theory of classes), as presented in the 2016 paper "Variations on a Visserian theme", so as to indicate the role of the scheme of class collection in the proof.
title Corrigendum & Addendum to: Variations on a Visserian theme
topic Logic
url https://arxiv.org/abs/2602.15081