• Title of article

    Remarks on applicative theories

  • Author/Authors

    Cantini، نويسنده , , Andrea، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 2005
  • Pages
    25
  • From page
    91
  • To page
    115
  • Abstract
    We deal with applicative theories which are based on combinatory logic with total application, extensionality and natural numbers. We prove a conservative extension theorem and two consistency results, involving principles of uniformity, reflection, enumeration and choice.
  • Keywords
    Applicative theories , Combinatory logic , AXIOM OF CHOICE , reflection , Uniformity , forcing , realizability
  • Journal title
    Annals of Pure and Applied Logic
  • Serial Year
    2005
  • Journal title
    Annals of Pure and Applied Logic
  • Record number

    1443682

    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=1443682