Switch to: References

Add citations

You must login to add citations.
  1. A class of higher inductive types in Zermelo‐Fraenkel set theory.Andrew W. Swan - 2022 - Mathematical Logic Quarterly 68 (1):118-127.
    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.
    Download  
     
    Export citation  
     
    Bookmark