Publisher： Springer Publishing Company
Founded in： 1950
Total resources： 21
E-ISSN： 1432-0665
ISSN： 0933-5846
Subject： O14 Mathematical logic and foundations of 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
Menu
Access to resources
Recommend
Totally non-proper ordinals beyond ( )
Archive for Mathematical Logic , Vol. 50, Iss. 5-6, 2011-07 , pp.A remark on the tree property in a choiceless context
Archive for Mathematical Logic , Vol. 50, Iss. 5-6, 2011-07 , pp.Indestructibility of Vopěnka’s Principle
By Brooke-Taylor Andrew in (2011)
Archive for Mathematical Logic , Vol. 50, Iss. 5-6, 2011-07 , pp.Base-free formulas in the lattice-theoretic study of compacta
Archive for Mathematical Logic , 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 , Vol. 50, Iss. 5-6, 2011-07 , pp.Definably complete structures are not pseudo-enumerable
By Fornasiero Antongiulio in (2011)
Archive for Mathematical Logic , 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 , Vol. 50, Iss. 5-6, 2011-07 , pp.Supercompact extender based Prikry forcing
Archive for Mathematical Logic , Vol. 50, Iss. 5-6, 2011-07 , pp.
Previous
Next