東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Incompleteness for higher-order arit...

Cheng, Yong.

FindBook

Google Book

Amazon

博客來

Incompleteness for higher-order arithmetic = an example based on Harrington's principle /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Incompleteness for higher-order arithmetic/ by Yong Cheng.
其他題名:	an example based on Harrington's principle /
作者:	Cheng, Yong.
出版者:	Singapore :Springer Singapore : : 2019.,
面頁冊數:	xiv, 122 p. :ill., digital ;24 cm.
內容註:	Introduction and Preliminary -- A minimal system -- The Boldface Martin-Harrington Theorem in Z2 -- Strengthenings of Harrington's Principle -- Forcing a model of Harrington's Principle without reshaping -- The strong reflecting property for L-cardinals.
Contained By:	Springer Nature eBook
標題:	Incompleteness theorems. -
電子資源:	https://doi.org/10.1007/978-981-13-9949-7
ISBN:	9789811399497

Incompleteness for higher-order arithmetic = an example based on Harrington's principle /
Cheng, Yong.

Incompleteness for higher-order arithmetican example based on Harrington's principle /[electronic resource] :by Yong Cheng. - Singapore :Springer Singapore :2019. - xiv, 122 p. :ill., digital ;24 cm. - SpringerBriefs in mathematics,2191-8198. - SpringerBriefs in mathematics..

Introduction and Preliminary -- A minimal system -- The Boldface Martin-Harrington Theorem in Z2 -- Strengthenings of Harrington's Principle -- Forcing a model of Harrington's Principle without reshaping -- The strong reflecting property for L-cardinals.

ISBN: 9789811399497

Standard No.: 10.1007/978-981-13-9949-7doiSubjects--Topical Terms:

3503129
Incompleteness theorems.

LC Class. No.: QA9.54 / .C54 2019

Dewey Class. No.: 511.3

Incompleteness for higher-order arithmetic = an example based on Harrington's principle /
LDR:01338nmm a2200337 a 4500 001 2243210
003 DE-He213
005 20200701152825.0
006 m d
007 cr nn 008maaau
008 211207s2019 si s 0 eng d
020 $a 9789811399497 $q (electronic bk.)
020 $a 9789811399480 $q (paper)
024 7 $a 10.1007/978-981-13-9949-7 $2 doi
035 $a 978-981-13-9949-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9.54 $b .C54 2019
072 7 $a PBC $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a PBC $2 thema
072 7 $a PBCD $2 thema
082 0 4 $a 511.3 $2 23
090 $a QA9.54 $b .C518 2019
100 1 $a Cheng, Yong. $3 3502147
245 1 0 $a Incompleteness for higher-order arithmetic $h [electronic resource] : $b an example based on Harrington's principle / $c by Yong Cheng.
260 $a Singapore : $b Springer Singapore : $b Imprint: Springer, $c 2019.
300 $a xiv, 122 p. : $b ill., digital ; $c 24 cm.
490 1 $a SpringerBriefs in mathematics, $x 2191-8198
505 0 $a Introduction and Preliminary -- A minimal system -- The Boldface Martin-Harrington Theorem in Z2 -- Strengthenings of Harrington's Principle -- Forcing a model of Harrington's Principle without reshaping -- The strong reflecting property for L-cardinals.
650 0 $a Incompleteness theorems. $3 3503129
650 1 4 $a Mathematical Logic and Foundations. $3 892656
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a SpringerBriefs in mathematics. $3 1566700
856 4 0 $u https://doi.org/10.1007/978-981-13-9949-7
950 $a Mathematics and Statistics (SpringerNature-11649)