Generalized Inductive Definitions in Constructive Set Theory

Abstract

The intent of this paper is to study generalized inductive definitions on the basis of Constructive Zermelo-Fraenkel Set Theory, CZF. In theories such as classical ZermeloFraenkel Set Theory, it can be shown that every inductive definition over a set gives rise to a least and a greatest fixed point, which are sets. This principle, notated GID, can also be… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics