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

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

4 Citations (Scopus)
305 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.

Mathematics

Arts & Humanities