Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Corrigendum & Addendum to: Variations on a Visserian theme

Ali Enayat

Abstract

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.

Corrigendum & Addendum to: Variations on a Visserian theme

Abstract

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.
Paper Structure (2 sections, 18 equations)

This paper contains 2 sections, 18 equations.

Table of Contents

  1. Introduction
  2. Solidity of KM and its higher order variants