کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
8904043 | 1633039 | 2018 | 9 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
An open mapping theorem for finitely copresented Esakia spaces
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
هندسه و توپولوژی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: An open mapping theorem for finitely copresented Esakia spaces An open mapping theorem for finitely copresented Esakia spaces](/preview/png/8904043.png)
چکیده انگلیسی
We prove an open mapping theorem for the topological spaces dual to finitely presented Heyting algebras. This yields in particular a short, self-contained semantic proof of the uniform interpolation theorem for intuitionistic propositional logic, first proved by Pitts in 1992. Our proof is based on the methods of Ghilardi & Zawadowski. However, our proof does not require sheaves nor games, only basic duality theory for Heyting algebras.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Topology and its Applications - Volume 240, 15 May 2018, Pages 69-77
Journal: Topology and its Applications - Volume 240, 15 May 2018, Pages 69-77
نویسندگان
Samuel J. v. Gool, Luca Reggio,