Higher-Order Algebra with Transfinite Types
نویسنده
چکیده
منابع مشابه
Well-orders in the transfinite Japaridze algebra
The logic GLP is a polymodal logic that has for each ordinal α an operator [α], whose intended interpretation is a provability predicate in a hierarchy of theories of increasing strength. Its corresponding algebra is called the (transfinite) Japaridze algebra. There are various natural orders in this algebra that are based on comparing consistency strength of its elements. In particular, for ea...
متن کاملA Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms
We generalize the Knuth–Bendix order (KBO) to higher-order terms without λ-abstraction. The restriction of this new order to first-order terms coincides with the traditional KBO. The order has many useful properties, including transitivity, the subterm property, compatibility with contexts (monotonicity), stability under substitution, and well-foundedness. Transfinite weights and argument coeff...
متن کاملA Rapidly Convergent Nonlinear Transfinite Element Procedure for Transient Thermoelastic Analysis of Temperature-Dependent Functionally Graded Cylinders
In the present paper, the nonlinear transfinite element procedure recently published by the author is improved by introducing an enhanced convergence criterion to significantly reduce the computational run-times. It is known that transformation techniques have been developed mainly for linear systems, only. Due to using a huge number of time steps, employing the conventional time integration me...
متن کاملJoint Spectra and Analytic Set-valued Functions
We investigate analyticity of joint spectra of Am-valued holomorphic mappings, where A denotes a complex Banach algebra. We show also that if K is an analytic set-valued function whose values are compact subsets of Cn and d is the transfinite diameter in Cn, then the upper-semicontinuous regularization of logd(X) is plurisubharmonic. Moreover, we give higher dimensional extensions of Aupetit's ...
متن کاملTransfinite rewriting
We survey the basic concepts and properties of transfinite rewriting for orthogonal term rewrite systems, lambda calculus, higher-order rewrite systems, and abstract rewrite systems.
متن کامل