arXiv:2005.14240 Abstract | arXiv Analytics

arXiv:2005.14240 [math.LO]Abstract References Reviews Resources

A class of higher inductive types in Zermelo-Fraenkel set theory

Published 2020-05-28Version 1

We define a class of higher inductive types that can be constructed in the category of sets under the assumptions of Zermelo-Fraenkel set theory without the axiom of choice or the existence of uncountable regular cardinals. This class includes the example of unordered trees of any arity.

Categories: math.LO

Subjects: 03B38, 03E10

Keywords: zermelo-fraenkel set theory, higher inductive types, uncountable regular cardinals, assumptions

Related articles: Most relevant | Search more

arXiv:1607.00205 [math.LO] (Published 2016-07-01)

An Easton-like theorem for Zermelo-Fraenkel Set Theory without Choice

Anne Fernengel, Peter Koepke

arXiv:1812.00960 [math.LO] (Published 2018-12-03)

An Easton-like Theorem for Zermelo-Fraenkel Set Theory with the Axiom of Dependent Choice

Anne Fernengel, Peter Koepke

arXiv:1608.00732 [math.LO] (Published 2016-08-02)

All uncountable regular cardinals can be inaccessible in HOD