Consistency and axiomatization of a natural extensional combinatory logic

来源 :中国科学：数学英文版 | 被引量 : 0次 | 上传用户：fragile2001000

【摘要】

：

In the light of a question of J. L. Krivine about the consistency of an extensional λ-theory,an extensional combinatory logic ECL+U(G)+RU_∞+ is established, w

【作者】

：

蒋颖

【机构】

：

（InstituteofSoftware,ChineseAcademyofSciences,Beijing100080,China）

【出处】

：

中国科学：数学英文版

【发表日期】

：

1996年9期

【关键词】

：

λ-theory an EXTENSIONAL combinatory LOGIC CONSISTENCY λ-theory an exteaional com

【基金项目】

：

a post-doctor grant of the Chinese Academy of Sciences.

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

In the light of a question of J. L. Krivine about the consistency of an extensional λ-theory,an extensional combinatory logic ECL+U(G)+RU_∞+ is established, with its consistency model provedtheoretically and it is shown the it is not equivalent to any sys

其他文献

Construction of Markov process with Markov resolvent on Lp(E,m)

Lei E be a Hausdorff topological space and let A(E) be its Borel σ-field.Let m be a σ-finitc measure on (E,A(E)).A necessary and sufficient condition for a Ma

期刊

MARKOVRESOLVENTquasi-regularitym-tightm-specialstandardprocess.Markov res

Smashed extensions for Hopf algebra SL_q(2)

打碎的延期 forSL 的结构(2 ) 2 在固定 algebraC 上被讨论，并且打碎的 exrersions forSL q (2 ) 的同形的班 overC 被决定。

期刊

smashedEXTENSIONsmashedsystemALGEBRAICSECTIONsmasheddatum.smashed extens

Artinian rings with Morita duality

二条定理被建立它适当地与 Morita 扩大 artinian 戒指的 ckss 两重性。关于 QF 响的 Anh 的一个问题被回答在否定。

期刊

MORITADUALITYSELFDUALITYEXACTbimodule.Morlta duality sell-duality exact bi

Module structure of doubly periodic arrays over finite fields

The structure of doubly periodic arrays over finite field F as an F[x,y]-module is studied.The necessary and sufficient conditions for the modules of doubly per

期刊

DOUBLYPERIODICARRAYGROBNERBASESCYCLICmodule.doubly periodic arrayGrobner

Aga s η-distortion function and Schottky’s theorem

The monotoneity properties of certain functions defined in terms of the η-distortion function ηK(t) in quasiconformal theory are studied and asymptotically sh

期刊

quasiconformalTHEORYSPECIALFUNCTIONSchottky’stheorem.quasiconformal theory

Global attractivity of the zero solution of a class of functional differential equations and its app

The global attractivity of the zero solution of the delay functional differential equation x(t)+ [1+x(t)]F(t, x(·)) =0 is studied by using a new technique.

期刊

functionaldifferentialEQUATIONLOGISTICEQUATIONglobalATTRACTIVITYUNBOUNDED

Smash coproduct and braided groups in braided monoidal category

A smash coproduct in braided monoidal category C is constructed and some conditions making the smash coproduct a Hopf algebra or braided Hopf algebra are given.

期刊

braidedmonoidalCATEGORYbraidedHOPFALGEBRAbraidedgroup.braided monoidal c

Closure functions on the set of positive integers

The following question raised by P. C. Hammer in 1960 is answered: Let M be the set of all positive integers, ft the closure function under multiplication defin

期刊

ALGEBRAICCLOSUREFUNCTIONALGEBRAICBOUNDARYK-sets.algebraic closure function

Transversal heteroclinic orbits in general degenerate cases

A geometrical method using the exponential dichotomy and the invariant manifold thoery is given to set up the criteria for the existence of transversal and tang

期刊

exponentialDICHOTOMYinvariantmanifoldHETEROCLINICorbitMELNIKOVvectortran

Generalized indices of operators in B(H)

A generalized dimension is further developed.Here subtraction and addition of two generalized dimensions are defined,so that the operations: ∞+n=∞,∞+∞=∞,wh

期刊

INDEXDIMENSIONBOUNDEDLINEARoperator.indexdimensionbounded linear operator

Consistency and axiomatization of a natural extensional combinatory logic

与本文相关的学术论文