An infinitary extension of Jankov's theorem
\textit{V. A. Jankov}'s [Izv. Akad. Nauk SSSR, Ser. Mat. 33, 18--38 (1969; Zbl 0181.00404)] celebrated result states that for every finite subdirectly irreducible Heyting algebra \(A\), there exists a formula \(\chi_A\), called the Jankov formula of \(A\), such that a Heyting algebra \(B\) refutes \(\chi_A\) iff \(A\) is embeddable into a quotient of \(B\). In this paper, the author presents an infinitary version of Jankov's theorem. A Heyting algebra homomorphism between two complete Heyting algebras is called continuous if it preserves all joins and meets. The author introduces a notion of \(T\)-regular complete Heyting algebras and pseudo-continuous homomorphisms between complete Heyting algebras and proves that for every subdirectly irreducible Heyting algebra \(A\), there exists a formula \(\chi_A\) in the infinitary language such that a complete \(T\)-regular Heyting algebra \(B\) refutes \(\chi_A\) iff there exists a complete Heyting algebra \(D\), a continuous embedding of \(A\) into \(D\) and a pseudo-continuous homomorphism from \(B\) onto \(D\).
- Infinite-dimensional extension of a theorem of Komlós
- An infinitary version of the Graham-Leeb-Rothschild theorem
- An infinite-dimensional generalization of the Jung theorem
- An infinite-dimensional version of the Borsuk-Ulam theorem
- A Theorem on Infinite Nielsen Extensions
- An extension of Jellett's theorem
- An infinitary extension of the Graham–Rothschild Parameter Sets Theorem
- An extension of Burnside's theorem to infinite-dimensional spaces
- An infinite-dimensional version of the theorem of Fortet and Kac
- scientific article; zbMATH DE number 2145660
- An infinite version of Arrow's theorem in the effective setting
- An infinitary version of the Graham-Leeb-Rothschild theorem
- An extension of Burnside's theorem to infinite-dimensional spaces
- On the origins of Dénes König's infinity lemma
- Characteristic formulas of partial Heyting algebras
- On the equivalence of the two existing extensions of the leximax criterion to the infinite case
- scientific article; zbMATH DE number 1463257 (Why is no real title available?)
- Jankov-style formulas and refutation systems
- Yankov Characteristic Formulas (An Algebraic Account)
This page was built for publication: An infinitary extension of Jankov's theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2454639)
