Period of time： 2011年3期
Publisher： Springer Publishing Company
Founded in： 1950
Total resources： 21
ISSN： 0933-5846
Subject： O1 Mathematics
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Archive for Mathematical Logic,volume 43,issue 3
Menu
Forcing axiom failure for any >ℵ 1
Archive for Mathematical Logic,volume 43,issue 3 , Vol. 43, Iss. 3, 2004-04 , pp.
Access to resources
Recommend
Proof-theoretical analysis of order relations
Archive for Mathematical Logic,volume 43,issue 3 , Vol. 43, Iss. 3, 2004-04 , pp.Generic compactness reformulated
Archive for Mathematical Logic,volume 43,issue 3 , Vol. 43, Iss. 3, 2004-04 , pp.The isomorphism problem for classes of computable fields
Archive for Mathematical Logic,volume 43,issue 3 , Vol. 43, Iss. 3, 2004-04 , pp.By Sakamoto Nobuyuki,Tanaka Kazuyuki in (2004)
Archive for Mathematical Logic,volume 43,issue 3 , Vol. 43, Iss. 3, 2004-04 , pp.Matrix identities and the pigeonhole principle
Archive for Mathematical Logic,volume 43,issue 3 , Vol. 43, Iss. 3, 2004-04 , pp.Adding Skolem functions to simple theories
Archive for Mathematical Logic,volume 43,issue 3 , Vol. 43, Iss. 3, 2004-04 , pp.On the quantifier complexity of ∆ n+1 (T)– induction
By Cordón-Franco A.,Fernández-Margarit A.,Lara-Martín F.F. in (2004)
Archive for Mathematical Logic,volume 43,issue 3 , Vol. 43, Iss. 3, 2004-04 , pp.Embeddings into the Medvedev and Muchnik lattices of Π01 classes
By Binns Stephen,Simpson Stephen G. in (2004)
Archive for Mathematical Logic,volume 43,issue 3 , Vol. 43, Iss. 3, 2004-04 , pp.Quasimaximality and principal filters isomorphism between
Archive for Mathematical Logic,volume 43,issue 3 , Vol. 43, Iss. 3, 2004-04 , pp.