Archive for Mathematical Logic,volume 45,issue 7  (10-2011)

Period of time： 2011年7期

Publisher： Springer Publishing Company

Founded in： 1950

Total resources： 21

ISSN： 0933-5846

Subject： O1 Mathematics

Favorite

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 45,issue 7

Menu

Projective Well-orderings of the Reals

By Caicedo Andrés in (2006)

Archive for Mathematical Logic,volume 45,issue 7 , Vol. 45, Iss. 7, 2006-10 , pp. 783-793

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Well-foundedness in Realizability

By Hofmann M.,Oosten J.,Streicher T. in (2006)

Archive for Mathematical Logic,volume 45,issue 7 , Vol. 45, Iss. 7, 2006-10 , pp. 795-805

Springer Publishing Company

Abstract Access to resources Recommend Favorite

The Bachmann-Howard Structure in Terms of Σ1-Elementarity

By Wilken Gunnar in (2006)

Archive for Mathematical Logic,volume 45,issue 7 , Vol. 45, Iss. 7, 2006-10 , pp. 807-829

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Failures of SCH and Level by Level Equivalence

By Apter Arthur in (2006)

Archive for Mathematical Logic,volume 45,issue 7 , Vol. 45, Iss. 7, 2006-10 , pp. 831-838

Springer Publishing Company

Abstract Access to resources Recommend Favorite

On the infinite-valued Łukasiewicz logic that preserves degrees of truth

By Font Josep in (2006)

Archive for Mathematical Logic,volume 45,issue 7 , Vol. 45, Iss. 7, 2006-10 , pp. 839-868

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Strong Enumeration Reducibilities

By Omanadze Roland in (2006)

Archive for Mathematical Logic,volume 45,issue 7 , Vol. 45, Iss. 7, 2006-10 , pp. 869-912

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 6 item(s)