Period of time： 2003年1期
Publisher： Elsevier
Founded in： 1969
Total resources： 2
ISSN： 0168-0072
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.
Annals of Pure and Applied Logic,volume 122,issue 1
Menu
Proof theory for theories of ordinals-I: recursively Mahlo ordinals
Annals of Pure and Applied Logic,volume 122,issue 1 , Vol. 122, Iss. 1, 2003-08 , pp.
Access to resources
Recommend
True cofinality and bounding number for small products of partial orders
Annals of Pure and Applied Logic,volume 122,issue 1 , Vol. 122, Iss. 1, 2003-08 , pp.System ST toward a type system for extraction and proofs of programs
Annals of Pure and Applied Logic,volume 122,issue 1 , Vol. 122, Iss. 1, 2003-08 , pp.CM-triviality and relational structures
By Verbovskiy V., Yoneda I. in (2003)
Annals of Pure and Applied Logic,volume 122,issue 1 , Vol. 122, Iss. 1, 2003-08 , pp.The proof-theoretic analysis of 1 1 transfinite dependent choice
Annals of Pure and Applied Logic,volume 122,issue 1 , Vol. 122, Iss. 1, 2003-08 , pp.By Ben-Yaacov I., Pillay A., Vassiliev E. in (2003)
Annals of Pure and Applied Logic,volume 122,issue 1 , Vol. 122, Iss. 1, 2003-08 , pp.On non-abelian C-minimal groups
Annals of Pure and Applied Logic,volume 122,issue 1 , Vol. 122, Iss. 1, 2003-08 , pp.On nonelementarily equivalent pairs of fields
Annals of Pure and Applied Logic,volume 122,issue 1 , Vol. 122, Iss. 1, 2003-08 , pp.