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

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