A sufficient condition for completability of partial combinatory algebras
Journal of Symbolic Logic 62 (4):1209-1214 (1997)
| Abstract | A Partial Combinatory Algebra is completable if it can be extended to a total one. In [1] it is asked (question 11, posed by D. Scott, H. Barendregt, and G. Mitschke) if every PCA can be completed. A negative answer to this question was given by Klop in [12, 11]; moreover he provided a sufficient condition for completability of a PCA (M, ·, K, S) in the form of ten axioms (inequalities) on terms of M. We prove that just one of these axiom (the so called Barendregt's axiom) is sufficient to guarantee (a slightly weaker notion of) completability | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJanusz Czelakowski (1979). Partial Boolean Algebras in a Broader Sense. Studia Logica 38 (1):1 - 16.
David H. Sanford (1976). The Direction of Causation and the Direction of Conditionship. Journal of Philosophy 73 (8):193-207.
Andrew Reisner (2008). Does Friendship Give Us Non-Derivative Partial Reasons. Les Ateliers De L'Éthique 3 (1):70-78.
Steven Givant & Hajnal Andreka (2002). Groups and Algebras of Binary Relations. Bulletin of Symbolic Logic 8 (1):38-64.
Peter Burmeister (2004). Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras. Studia Logica 78 (1-2):129 - 153.
Giuseppa Longo (1976). On the Problem of Deciding Equality in Partial Combinatory Algebras and in a Formal System. Studia Logica 35 (4):363 - 375.
Rögnvaldur Ingthorsson (2008). The Logical Vs. The Ontological Understanding of Conditions. Metaphysica 9 (2):129-137.
Béatrice Rey (2003). Total and Partial Bivariate Risk Premia: An Extension. Theory and Decision 55 (1):59-69.
Jaap van Oosten (2011). Partial Combinatory Algebras of Functions. Notre Dame Journal of Formal Logic 52 (4):431-448.
Ingemarie Bethke (1987). On the Existence of Extensional Partial Combinatory Algebras. Journal of Symbolic Logic 52 (3):819-833.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #201,838 of 549,065 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
