Studia Logica 86 (1):111 - 131 (2007)
|Abstract||It is known that for any subdirectly irreducible finite Heyting algebra A and any Heyting algebra B, A is embeddable into a quotient algebra of B, if and only if Jankov’s formula χ A for A is refuted in B. In this paper, we present an infinitary extension of the above theorem given by Jankov. More precisely, for any cardinal number κ, we present Jankov’s theorem for homomorphisms preserving infinite meets and joins, a class of subdirectly irreducible complete κ-Heyting algebras and κ-infinitary logic, where a κ-Heyting algebra is a Heyting algebra A with # ≥ κ and κ-infinitary logic is the infinitary logic such that for any set Θ of formulas with # Θ ≥ κ, ∨Θ and ∧Θ are well defined formulas.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Robert Bonnet & Matatyahu Rubin (2002). On Essentially Low, Canonically Well-Generated Boolean Algebras. Journal of Symbolic Logic 67 (1):369-396.
B. A. Davey & H. A. Priestley (1996). Optimal Natural Dualities for Varieties of Heyting Algebras. Studia Logica 56 (1-2):67 - 96.
Attila Máté (1971). Incompactness in Infinitary Languages with Respect to Boolean-Valued Interpretations. Szeged,University of Szeged Bolyai Mathematical Institute.
Nick Bezhanishvili (2008). Frame Based Formulas for Intermediate Logics. Studia Logica 90 (2):139 - 159.
Andrew M. Pitts (1992). On an Interpretation of Second Order Quantification in First Order Intuitionistic Propositional Logic. Journal of Symbolic Logic 57 (1):33-52.
Georges Hansoul (1996). Priestley Duality for Some Subalgebra Lattices. Studia Logica 56 (1-2):133 - 149.
Mamoru Kaneko & Takashi Nagashima (1996). Game Logic and its Applications I. Studia Logica 57 (2-3):325 - 354.
John L. Bell, Infinitary Logic. Stanford Encyclopedia of Philosophy.
David J. Foulis (2006). The Universal Group of a Heyting Effect Algebra. Studia Logica 84 (3):407 - 424.
Added to index2009-01-28
Total downloads3 ( #202,107 of 550,917 )
Recent downloads (6 months)1 ( #63,425 of 550,917 )
How can I increase my downloads?