An axiomatic theory for partial functions

DOI10.1006/INCO.1993.1063MaRDI QIDQ1317437zbMATH OpenOpenAlexFDO

Authors Jan Kuper

Publication date 22 January 1995

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://research.utwente.nl/en/publications/an-axiomatic-theory-for-partial-functions(e9db9484-baf5-49b0-825d-608bf451344d).html

zbMATH Keywords

theory of functionsrelative consistencyBoffa's axiom of universalitymodel of lambda calculusone- place functionsrelation of applicationRussel paradox

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Nonclassical and second-order set theories (03E70) Other classical set theory (including functions, relations, and set algebra) (03E20)

Recommendations

• An axiomatization of partial n-place operations
• A partial functions version of Church's simple theory of types
• A set theory with support for partial functions
• Partial functions in type theory
• scientific article; zbMATH DE number 1341476

Cited in

(15)

• The axiomatization of override and update
• Map theory
• Implicit dynamic function introduction and Ackermann-like function theory
• Difference-restriction algebras of partial functions: axiomatisations and representations
• Axiomatic theory of partial continuous functions and the Peano curve
• An axiomatization of partial n-place operations
• A set theory with support for partial functions
• Lambda theory: introduction of a constant for ``nothing into set theory, a model of consistency and most noticeable conclusions
• scientific article; zbMATH DE number 4037816 (Why is no real title available?)
• Axiomatic recursion theory and the continuous functionals
• Axiomatization and the antimean function on paths
• scientific article; zbMATH DE number 3873292 (Why is no real title available?)
• A partial functions version of Church's simple theory of types
• A first order theory of functional parthood
• Towards a Theory of Extractable Functions

This page was built for publication: An axiomatic theory for partial functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1317437)