Fan ji chu gong li de luo ji yan jiu

Beijing: Zhong guo she hui ke xue chu ban she (2016)
  Copy   BIBTEX

Abstract

本书包含三编,第1编为用图刻画的各种反基础公理系统(ZFCˉ+AFA(或者SAFA,FAFA以及反基础公理家族AFA~))建立不同的集论模型,从而证明各种反基础公理与ZFCˉ的相对协调性.第2编修正,完善和丰富了巴威斯(J.Barwise)等人用代数方法——方程组刻画的反基础公理——解引理理论.第3编包括两个附录.附录1给出了结构之间的互摸拟理论.附录2给出了项目研究期间发表的部分论文.

Categories

Add categories

Keywords

Reprint years

Call number

BC135.L495 2016

ISBN(s)

9787516176313

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,574

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Carnap on extremal axioms, "completeness of the models," and categoricity.Georg Schiemer - 2012 - Review of Symbolic Logic 5 (4):613-641.
Direct and Converse Theorems the Elements of Symbolic Logic.I. S. Gradshtein - 1963 - Pergamon Press.
The Axiomatic Method an Introduction to Mathematical Logic.Albert Harold Lightstone - 1964 - Englewood Cliffs, NJ, USA: Prentice-Hall.
The Consistency of the Axiom of Choice and of the Generalized Continuum- Hypothesis with the Axioms of Set Theory.George W. Brown - 1941 - Journal of Symbolic Logic 6 (3):112-114.
Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.
Set Theory and Logic.Robert Roth Stoll - 2012 - San Francisco and London: Courier Corporation.
Review: Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra, Handbook of Mathematical Logic; J. R. Shoenfield, B.1. Axioms of Set Theory. [REVIEW]Akihiro Kanamori - 1984 - Journal of Symbolic Logic 49 (3):971-975.
On the Single Axioms of Protothetic.Boleslw Soboci Nski - 1960 - Notre Dame.
The completeness of elementary algebra and geometry.Alfred Tarski - 1967 - Paris,: Centre national de la recherche scientifique, Institut Blaise Pascal.
Yes, Western Logic Applies to Gong Sunlong and Mozi!Thierry Lucas - 2003 - Philosophy and Culture 30 (12):25-38.
Popular lectures on mathematical logic.Hao Wang - 1981 - New York: Dover Publications.
Introduction to Mathematical Logic. Set Theory, Computable Functions, Model Theory.Jerome Malitz - 1984 - Journal of Symbolic Logic 49 (2):672-673.
Xian dai Zhongguo si xiang de xing qi.Hui Wang - 2004 - Beijing: Sheng huo, du shu, xin zhi san lian shu dian.
Robert M. Solovay, William N. Reinhardt, and Akihiro Kanamori. Strong axioms of infinity and elementary embeddings. Annals of mathematical logic, vol. 13 , pp. 73–116. - Menachem Magidor. HOW large is the first strongly compact cardinal? or A study on identity crises. Annals of mathematical logic, vol. 10 , pp. 33–57. [REVIEW]Carlos Augusto Di Prisco - 1986 - Journal of Symbolic Logic 51 (4):1066-1068.
Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.

Analytics

Added to PP
2022-12-11

Downloads
10 (#1,201,046)

6 months
4 (#799,256)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references