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

Kentaro Fujimoto

doi:10.1017/jsl.2017.77

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

Kentaro Fujimoto

Research output: Contribution to journal › Article (Academic Journal) › peer-review

8 Citations (Scopus)

550 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 language	English
Pages (from-to)	868-898
Number of pages	31
Journal	Journal of Symbolic Logic
Volume	83
Issue number	3
Early online date	23 Oct 2018
DOIs	https://doi.org/10.1017/jsl.2017.77
Publication status	Published - 2018

Access to Document

10.1017/jsl.2017.77

Full-text PDF (final published version)
This is the final published version of the article (version of record). It first appeared online via Cambridge University Press at https://doi.org/10.1017/jsl.2017.77 . Please refer to any applicable terms of use of the publisher.
Final published version, 522 KBLicence: Other

Handle.net

Persistent link

Dr Kentaro Fujimoto
- Kentaro.Fujimotobristol.acuk
- School of Mathematics - Senior Lecturer
Person: Academic

Cite this

@article{c15545133af34dd796bc771929e4b0ba,

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

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.",

author = "Kentaro Fujimoto",

year = "2018",

doi = "10.1017/jsl.2017.77",

language = "English",

volume = "83",

pages = "868--898",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "3",

}

TY - JOUR

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

AU - Fujimoto, Kentaro

PY - 2018

Y1 - 2018

N2 - 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.

AB - 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.

U2 - 10.1017/jsl.2017.77

DO - 10.1017/jsl.2017.77

M3 - Article (Academic Journal)

SN - 0022-4812

VL - 83

SP - 868

EP - 898

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 3

ER -

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

Abstract

Access to Document

Handle.net

Fingerprint

Profiles

Dr Kentaro Fujimoto

Cite this