Induction and foundation in the theory of hereditarily finite sets

DOI10.1007/BF01203033zbMath0810.03048MaRDI QIDQ1330312

Flavio Previale

Publication date: 20 April 1995

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

arithmeticinductionaxiomatizationsintuitionismhereditarily finite sets

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Related Items (6)

Constructive Ackermann's interpretation ⋮ Digraph parameters and finite set arithmetic ⋮ Bounded finite set theory ⋮ A hierarchy of hereditarily finite sets ⋮ Substandard models of finite set theory ⋮ Hereditarily Finite Sets in Constructive Type Theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Induction and foundation in the theory of hereditarily finite sets