Truths, Inductive Definitions, and Kripke-Platek Systems over Set Theory

Research output: Contribution to journalArticle (Academic Journal)peer-review

7 Citations (Scopus)
363 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Truths, Inductive Definitions, and Kripke-Platek Systems over Set Theory'. Together they form a unique fingerprint.

Computer Science

Mathematics