神戸大学附属図書館デジタルアーカイブ
https://hdl.handle.net/20.500.14094/0100496016

このアイテムのアクセス数:36件（2025-07-23 07:56 集計）

閲覧可能ファイル 

ファイル フォーマット サイズ 閲覧回数 説明
0100496016 (fulltext) pdf 416 KB 7

メタデータ

ファイル出力

メタデータID
0100496016
アクセス権
open access
出版タイプ
Version of Record
タイトル
CERTIFIED Σ₁-SENTENCES
著者
著者ID
A2869
研究者ID
1000010738446
KUID
https://kuid-rm-web.ofc.kobe-u.ac.jp/search/detail.html?systemId=2c9eb67d37c54bf2520e17560c007669
著者名
Kurahashi, Taishi
倉橋, 太志
クラハシ, タイシ
所属機関名
システム情報学研究科
著者名
Visser, Albert
言語
English (英語)
収録物名
The Journal of Symbolic Logic
巻(号)
First View
ページ
1-29
出版者
Cambridge University Press
刊行日
2024-12-12
公開日
2025-06-05
注記
Published Online: 2024-12-12
抄録
In this paper, we study the employment of Σ₁-sentences with certificates, i.e., Σ₁-sentences where a number of principles is added to ensure that the witness is sufficiently number-like. We develop certificates in some detail and illustrate their use by reproving some classical results and proving some new ones. An example of such a classical result is Vaught’s theorem of the strong effective inseparability of R₀. We also develop the new idea of a theory being R₀ₚ-sourced. Using this notion, we can transfer a number of salient results from R₀ to a variety of other theories.
キーワード
essential hereditary undecidability
strong effective inseparability
interpretability
カテゴリ
システム情報学研究科
学術雑誌論文
権利
© The Author(s), 2024. Published by Cambridge University Press on behalf of The Association for Symbolic Logic
CC license
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence, which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.
関連情報
DOI
https://doi.org/10.1017/jsl.2024.84