Period of time: 2011年5-6期
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 50,issue 5-6
Menu
Indestructibility of Vopěnka’s Principle
By Brooke-Taylor Andrew in (2011)
Archive for Mathematical Logic,volume 50,issue 5-6 , Vol. 50, Iss. 5-6, 2011-07 , pp.Base-free formulas in the lattice-theoretic study of compacta
Archive for Mathematical Logic,volume 50,issue 5-6 , Vol. 50, Iss. 5-6, 2011-07 , pp.The maximal linear extension theorem in second order arithmetic
By Marcone Alberto,Shore Richard in (2011)
Archive for Mathematical Logic,volume 50,issue 5-6 , Vol. 50, Iss. 5-6, 2011-07 , pp.Totally non-proper ordinals beyond ( )
Archive for Mathematical Logic,volume 50,issue 5-6 , Vol. 50, Iss. 5-6, 2011-07 , pp.A remark on the tree property in a choiceless context
Archive for Mathematical Logic,volume 50,issue 5-6 , Vol. 50, Iss. 5-6, 2011-07 , pp.Supercompact extender based Prikry forcing
Archive for Mathematical Logic,volume 50,issue 5-6 , Vol. 50, Iss. 5-6, 2011-07 , pp.Definably complete structures are not pseudo-enumerable
By Fornasiero Antongiulio in (2011)
Archive for Mathematical Logic,volume 50,issue 5-6 , Vol. 50, Iss. 5-6, 2011-07 , pp.Strict core fuzzy logics and quasi-witnessed models
By Cerami Marco,Esteva Francesc in (2011)
Archive for Mathematical Logic,volume 50,issue 5-6 , Vol. 50, Iss. 5-6, 2011-07 , pp.Admissible closures of polynomial time computable arithmetic
By Probst Dieter,Strahm Thomas in (2011)
Archive for Mathematical Logic,volume 50,issue 5-6 , Vol. 50, Iss. 5-6, 2011-07 , pp.