新井敏康：数学基礎論——Mathematical Logic——，岩波書店，2011年，536ページ

Saved in:
Bibliographic Details
Published in数学 Vol. 65; no. 1; pp. 102 - 106
Main Author 坪井, 明人
Format Journal Article
LanguageJapanese
Published 一般社団法人 日本数学会 2013
Subjects
数学基礎論
数理論理学
Online AccessGet full text
ISSN0039-470X
1883-6127
DOI10.11429/sugaku.0651102

Cover

Author 坪井, 明人
Author_xml – sequence: 1
  fullname: 坪井, 明人
  organization: 筑波大学数理物質系
BookMark eNo9UMtKw1AQvUgFa-3arT-QeucmN4-l1CdU3Ci4C5Pba5vahyTpwp3YrejGVqgLQUQQEYoK1tCvsSa66y-YkiIMZ-bMwOHMWSSZZqspCVkGWgDQmLXqtyt43C5QnQNQNkeyYJqqogMzMiRLqWopmkEPF0je912HMqoZHBjNknLcG3yH3bh7FYUfk1E_7g6il8foLvx5uPx97n2dXSe1i0FVNjBwBdZXSq2KK9L9ZHQRvT7Fb_fx7TAKbxLKKED0-Z5MXNXHnf64MxqfD5fI_BHWfZmf9Rw52NzYL24rpb2tneJaSamBqaHC0TIAEwkhLYNKIUyQ04ecsokoHcY0R-cOOrpEbmll0xCCcgtEQiRDlao5sp7q1vwAK9I-8dwGeqc2eon1urTTkGyd2zCFWVj_Z1FFz66h-gflxIH_
ContentType Journal Article
Copyright 2013 一般社団法人 日本数学会
Copyright_xml – notice: 2013 一般社団法人 日本数学会
DOI 10.11429/sugaku.0651102
DeliveryMethod fulltext_linktorsrc
Discipline Mathematics
EISSN 1883-6127
EndPage 106
ExternalDocumentID article_sugaku_65_1_65_0651102_article_char_ja
GroupedDBID ABJNI
ACGFS
ALMA_UNASSIGNED_HOLDINGS
EBS
EJD
JSF
KQ8
RJT
ID FETCH-LOGICAL-j184a-5a971a201ce970ecc81e0651bd8aaeb224b65bab6ea594d87cc0591c594e2a303
ISSN 0039-470X
IngestDate Wed Sep 03 06:30:49 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly true
Issue 1
Language Japanese
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-j184a-5a971a201ce970ecc81e0651bd8aaeb224b65bab6ea594d87cc0591c594e2a303
OpenAccessLink https://www.jstage.jst.go.jp/article/sugaku/65/1/65_0651102/_article/-char/ja
PageCount 5
ParticipantIDs jstage_primary_article_sugaku_65_1_65_0651102_article_char_ja
PublicationCentury 2000
PublicationDate 2013
PublicationDateYYYYMMDD 2013-01-01
PublicationDate_xml – year: 2013
  text: 2013
PublicationDecade 2010
PublicationTitle 数学
PublicationTitleAlternate 数学
PublicationYear 2013
Publisher 一般社団法人 日本数学会
Publisher_xml – name: 一般社団法人 日本数学会
References [9] 田中一之・渕野昌・松原洋・土屋俊・戸田山和久, 集合論とプラトニズム, ゲーデルと20世紀の論理学, 4, 東京大学出版会, 2007.
[3] T. Jech, Set Theory (The 3rd Millennium edition), Springer Monogr. Math., Springer, 2003.
[4] K. Kunen, Set Theory, An Introduction to Independence Proofs, Stud. Logic Found. Math., 102, North Holland, 1983.
[6] S. Shelah, Classification Theory and the Number of Nonisomorphic Models (2nd edition), Stud. Logic Found. Math., 92, North Holland, 1990.
[1] C. C. Chang and H. J. Keisler, Model Theory (3rd edition), Stud. Logic Found. Math., 73, North Holland, 1990.
[8] 田中一之・坪井明人・野本和幸, 完全性定理とモデル理論, ゲーデルと20世紀の論理学, 2, 東京大学出版会, 2006.
[7] J. R. Shoenfield, Mathematical Logic, Addison-Wesley Publishing Co., 1967; 2nd printing, A K Peters, 2001.
[2] H. B. Enderton, A Mathematical Introduction to Logic (2nd edition), Harcourt/Academic Press, 2001.
[5] D. Marker, Model Theory: An Introduction, Grad. Texts in Math., 217, Springer, 2002.
References_xml – reference: [4] K. Kunen, Set Theory, An Introduction to Independence Proofs, Stud. Logic Found. Math., 102, North Holland, 1983.
– reference: [1] C. C. Chang and H. J. Keisler, Model Theory (3rd edition), Stud. Logic Found. Math., 73, North Holland, 1990.
– reference: [2] H. B. Enderton, A Mathematical Introduction to Logic (2nd edition), Harcourt/Academic Press, 2001.
– reference: [6] S. Shelah, Classification Theory and the Number of Nonisomorphic Models (2nd edition), Stud. Logic Found. Math., 92, North Holland, 1990.
– reference: [3] T. Jech, Set Theory (The 3rd Millennium edition), Springer Monogr. Math., Springer, 2003.
– reference: [7] J. R. Shoenfield, Mathematical Logic, Addison-Wesley Publishing Co., 1967; 2nd printing, A K Peters, 2001.
– reference: [9] 田中一之・渕野昌・松原洋・土屋俊・戸田山和久, 集合論とプラトニズム, ゲーデルと20世紀の論理学, 4, 東京大学出版会, 2007.
– reference: [5] D. Marker, Model Theory: An Introduction, Grad. Texts in Math., 217, Springer, 2002.
– reference: [8] 田中一之・坪井明人・野本和幸, 完全性定理とモデル理論, ゲーデルと20世紀の論理学, 2, 東京大学出版会, 2006.
SSID ssib020475120
ssib021064343
ssib022787386
ssj0000491490
ssib002483705
Score 1.9015127
SourceID jstage
SourceType Publisher
StartPage 102
SubjectTerms 数学基礎論
数理論理学
Title 新井敏康：数学基礎論——Mathematical Logic——，岩波書店，2011年，536ページ
URI https://www.jstage.jst.go.jp/article/sugaku/65/1/65_0651102/_article/-char/ja
Volume 65
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
ispartofPNX 数学, 2013/01/25, Vol.65(1), pp.102-106
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3LaxNBGB9qvehBfOKbHJzj1n3vzMHDbtxQlApCC8HLMvuoEKGKJhdPYq-iF1OhHgQRQUQoKlhD_hrjRm_9F_y-mclmQ3qwCmGZ_XZe32Nnft9k5ltCrnjrzLXTwDKyIisMFwCFgccfDY5DYy5gQBS4oL9yy19ec2-0vfbCoTu1XUu9brqUPd73XMm_aBVooFc8JXsAzVaVAgHSoF-4gobh-lc6prFPuU8jk8YujULKPUnxKGvR2ENKFNC4RaMm5aF-hJk9Gl6noY8J3sJscUBDAJUxjRkNI6xT74Fwq8RKFd8Vl75xwJzPo9tiTdm6TUOOjUYODW3ZekQjpjvGgyozggNJ5TSaVuE50AmHMkd2XSaAjgkbaqlj6nnGJlYkGQRCOJUPWJTMzyS3kqqXKvTShzqzKs1UPmfIGoiFgWSaWlBRLGuOaOhoBlHyujJVP-RTymjKYvOid5VW6rMG_lsemG01Z6qJgjEH3G4V12Ayk6ivXsy8MWpasEy7hjAsGWNhn8kLsIG007viXm8JsKFVlZuJCK7tLVEZE99LLLzoAsnkMR7bSzrgOxy2g8DC7a43b9ddTQx7VI3ltukGgP2qsdu2EKtOQ7XhiWn8Pmy1fgmeJTjXOuqpEo-OnIVsXJ1lAuBdB5ydyUZJid1Wj5Nj2ulqhKrLJ8hCR5wkR6cW_egUycdbOz8H_XH_RTn4tjfcHvd3yk_vyzeDX--e__649ePJS_jV34GGfAcUfW_4rPz8Yfzl7fj1bjl4Bbdo0-X3r5ACOx5tbo82h6Onu6fJWitebS4b-gskRseCUcrwBA8sAUWyggcmjHbMKpClNGdCFCnA39T3UpH6hfC4m7Mgy8BdsTK4KWwB6PAMWdy4v1GcJQ0u1s00c7MiBcjvpg43YWb3czMVOQdULc6Ra0pEyQMVZiY5mJrP_2f5C-SILb_0gquLF8li92GvuAR4u5telobzB7wEums
linkProvider Colorado Alliance of Research Libraries
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=%E6%96%B0%E4%BA%95%E6%95%8F%E5%BA%B7%EF%BC%9A%E6%95%B0%E5%AD%A6%E5%9F%BA%E7%A4%8E%E8%AB%96%E2%80%94%E2%80%94Mathematical+Logic%E2%80%94%E2%80%94%EF%BC%8C%E5%B2%A9%E6%B3%A2%E6%9B%B8%E5%BA%97%EF%BC%8C2011%E5%B9%B4%EF%BC%8C536%E3%83%9A%E3%83%BC%E3%82%B8&rft.jtitle=%E6%95%B0%E5%AD%A6&rft.au=%E5%9D%AA%E4%BA%95%2C+%E6%98%8E%E4%BA%BA&rft.date=2013&rft.pub=%E4%B8%80%E8%88%AC%E7%A4%BE%E5%9B%A3%E6%B3%95%E4%BA%BA+%E6%97%A5%E6%9C%AC%E6%95%B0%E5%AD%A6%E4%BC%9A&rft.issn=0039-470X&rft.eissn=1883-6127&rft.volume=65&rft.issue=1&rft.spage=102&rft.epage=106&rft_id=info:doi/10.11429%2Fsugaku.0651102&rft.externalDocID=article_sugaku_65_1_65_0651102_article_char_ja
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0039-470X&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0039-470X&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0039-470X&client=summon