کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4662571 | 1633544 | 2007 | 11 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Constructive characterizations of bar subsets
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
We provide some constructive characterizations of the notion of bar subset for the complete binary tree, alias Cantor space, for the complete countable spreading tree, alias Baire Space, and, more generally, for an inductively generated formal topology. Moreover, by using a completeness theorem for inductively generated formal topologies, we prove that such characterizations are classically equivalent to the standard one.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 145, Issue 3, March 2007, Pages 368-378
Journal: Annals of Pure and Applied Logic - Volume 145, Issue 3, March 2007, Pages 368-378