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  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)|
|Through your library||Configure|
Similar books and articles
Janusz 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.
Added to index2009-01-28
Total downloads3 ( #201,838 of 549,065 )
Recent downloads (6 months)0
How can I increase my downloads?