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

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

1 Citation (Scopus)
267 Downloads (Pure)

Abstract

In this paper we study the systems KF and VF of truth over set theory as well as related systems, and compare them with the corresponding systems over arithmetic.
Original languageEnglish
Pages (from-to)868-898
Number of pages31
JournalJournal of Symbolic Logic
Volume83
Issue number3
Early online date23 Oct 2018
DOIs
Publication statusPublished - 2018

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

Cite this