Choiceless Löwenheim–Skolem Property and Uniform Definability of Grounds

Toshimichi Usuba*

*この研究の対応する著者

研究成果: Conference contribution

抄録

In this paper, without the axiom of choice, we show that if a certain downward Löwenheim–Skolem property holds then all grounds are uniformly definable. We also prove that the axiom of choice is forceable if and only if the universe is a small extension of some transitive model of ZFC.

本文言語English
ホスト出版物のタイトルAdvances in Mathematical Logic - Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Selected, Revised Contributions
編集者Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka
出版社Springer
ページ161-179
ページ数19
ISBN(印刷版)9789811641725
DOI
出版ステータスPublished - 2021
イベントSymposium on Advances in Mathematical Logic, SAML 2018 - Kobe, Japan
継続期間: 2018 9月 182018 9月 20

出版物シリーズ

名前Springer Proceedings in Mathematics and Statistics
369
ISSN(印刷版)2194-1009
ISSN(電子版)2194-1017

Conference

ConferenceSymposium on Advances in Mathematical Logic, SAML 2018
国/地域Japan
CityKobe
Period18/9/1818/9/20

ASJC Scopus subject areas

  • 数学 (全般)

フィンガープリント

「Choiceless Löwenheim–Skolem Property and Uniform Definability of Grounds」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル