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
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.