Perspectives in mathematical logic

• 資料種別: 図書
• タイトル: Perspectives in mathematical logic
• 著者標目: Gandy, R. O.; https://ci.nii.ac.jp/author/DA07419468
• 出版事項: Springer-Verlag
• 出版地（国名コード）: gw
• 対象利用者: 一般
• 一般注記: By Ω-Group: R.O. Gandy ... [et al.]
• 関連情報: Proper and improper forcing; https://cir.nii.ac.jp/crid/1130000793891305216; Proof theory, constructive mathematics; https://cir.nii.ac.jp/crid/1130000794871897856; Model-theoretic logics; https://cir.nii.ac.jp/crid/1130000795379483392; Recursively enumerable sets and degrees : a study of computable functions and computably generated sets; https://cir.nii.ac.jp/crid/1130000795804680832; Model theory; https://cir.nii.ac.jp/crid/1130000795919498752; Basic set theory; https://cir.nii.ac.jp/crid/1130000796118959872; Finite model theory; https://cir.nii.ac.jp/crid/1130000796246992128; Degrees of unsolvability : local and global theory; https://cir.nii.ac.jp/crid/1130000796507192448; Computability in analysis and physics; https://cir.nii.ac.jp/crid/1130000796645770496; https://cir.nii.ac.jp/crid/1130000797617070208; Classical logic; https://cir.nii.ac.jp/crid/1130000797782540800; Set theory; https://cir.nii.ac.jp/crid/1130000798043418624; The higher infinite : large cardinals in set theory from their beginnings; https://cir.nii.ac.jp/crid/1130282268686745472; Recursion theory; https://cir.nii.ac.jp/crid/1130282269271276800; General recursion theory : an axiomatic approach; https://cir.nii.ac.jp/crid/1130282269357391744; Constructibility; https://cir.nii.ac.jp/crid/1130282269415757184; Recursion-theoretic hierarchies; https://cir.nii.ac.jp/crid/1130282269934747264; Fundamentals of stability theory; https://cir.nii.ac.jp/crid/1130282270275029888; https://cir.nii.ac.jp/crid/1130282270419741312; Higher recursion theory; https://cir.nii.ac.jp/crid/1130282270862955648; Admissible sets and structures : an approach to definability theory; https://cir.nii.ac.jp/crid/1130282271956634880; Non-classical logics; https://cir.nii.ac.jp/crid/1130282271964911488; Essential stability theory; https://cir.nii.ac.jp/crid/1130282271991849216; Subsystems of second order arithmetic; https://cir.nii.ac.jp/crid/1130282272828914432; https://cir.nii.ac.jp/crid/1130282272906731392; Metamathematics of first-order arithmetic; https://cir.nii.ac.jp/crid/1130282272985317760; https://cir.nii.ac.jp/crid/1130282273184957952; The classical decision problem; https://cir.nii.ac.jp/crid/1130282273248124800
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BA00027452#entity
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA00027452 : BA00027452

目次

Proper and improper forcing

Proof theory, constructive mathematics

Model-theoretic logics

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets

Model theory