On the Uniform Computational Content of the Baire Category Theorem
نویسندگان
چکیده
منابع مشابه
On the Uniform Computational Content of the Baire Category Theorem
We study the uniform computational content of different versions of the Baire Category Theorem in the Weihrauch lattice. The Baire Category Theorem can be seen as a pigeonhole principle that states that a complete (i.e., “large”) metric space cannot be decomposed into countably many nowhere dense (i.e., “small”) pieces. The Baire Category Theorem is an illuminating example of a theorem that can...
متن کاملOn the Baire Category Theorem
Let T be a topological structure and let A be a subset of the carrier of T . Then IntA is a subset of T . Let T be a topological structure and let P be a subset of the carrier of T . Let us observe that P is closed if and only if: (Def. 1) −P is open. Let T be a non empty topological space and let F be a family of subsets of T . We say that F is dense if and only if: (Def. 2) For every subset X...
متن کاملthe washback effect of discretepoint vs. integrative tests on the retention of content in knowledge tests
در این پایان نامه تاثیر دو نوع تست جزیی نگر و کلی نگر بر به یادسپاری محتوا ارزیابی شده که نتایج نشان دهندهکارایی تستهای کلی نگر بیشتر از سایر آزمونها است
15 صفحه اولAn analogue of the Baire category theorem
Every definably complete expansion of an ordered field satisfies an analogue of the Baire Category Theorem.
متن کاملsurvey on the rule of the due & hindering relying on the sheikh ansaris ideas
قاعده مقتضی و مانع در متون فقهی کم و بیش مستند احکام قرار گرفته و مورد مناقشه فقهاء و اصولیین می باشد و مشهور معتقند مقتضی و مانع، قاعده نیست بلکه یکی از مسائل ذیل استصحاب است لذا نگارنده بر آن شد تا پیرامون این قاعده پژوهش جامعی انجام دهد. به عقیده ما مقتضی دارای حیثیت مستقلی است و هر گاه می گوییم مقتضی احراز شد یعنی با ماهیت مستقل خودش محرز گشته و قطعا اقتضاء خود را خواهد داشت مانند نکاح که ...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2018
ISSN: 0029-4527
DOI: 10.1215/00294527-2018-0016