Induction and foundation in the theory of hereditarily finite sets
From MaRDI portal
Publication:1330312
DOI10.1007/BF01203033zbMath0810.03048MaRDI QIDQ1330312
Publication date: 20 April 1995
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
03F55: Intuitionistic mathematics
Related Items
Bounded finite set theory, A hierarchy of hereditarily finite sets, Constructive Ackermann's interpretation, Hereditarily Finite Sets in Constructive Type Theory, Digraph parameters and finite set arithmetic, Substandard models of finite set theory
Cites Work