Models of set theory in which the separation theorem fails
نویسندگان
چکیده
Abstract We use a finite-support product of Jensen-minimal forcings to define model set theory in which the separation theorem fails for projective classes and $\mathbf{\Pi}^1_n$?> , given $n\geqslant3$?> .
منابع مشابه
the analysis of the role of the speech acts theory in translating and dubbing hollywood films
از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...
15 صفحه اولSome problems in automata theory which depend on the models of set theory
We prove that some fairly basic questions on automata reading infinite words depend on the models of the axiomatic system ZFC. It is known that there are only three possibilities for the cardinality of the complement of an ω-languageL(A) accepted by a Büchi 1-counter automaton A. We prove the following surprising result: there exists a 1-counter Büchi automaton A such that the cardinality of th...
متن کاملModels of Set Theory
1. First order logic and the axioms of set theory 2 1.1. Syntax 2 1.2. Semantics 2 1.3. Completeness, compactness and consistency 3 1.4. Foundations of mathematics and the incompleteness theorems 3 1.5. The axioms 4 2. Review of basic set theory 5 2.1. Classes 5 2.2. Well-founded relations and recursion 5 2.3. Ordinals, cardinals and arithmetic 6 3. The consistency of the Axiom of Foundation 8 ...
متن کاملA Characterization of the Least Cardinal for Which the Baire Category Theorem Fails
Let k be the least cardinal such that the real Une can be covered by k many nowhere dense sets. We show that k can be characterized as the least cardinal such that "infinitely equal" reals fail to exist for families of cardinality k. Let Baire (k) stand for: "The real line is not the union of k many nowhere dense sets (a set is nowhere dense iff its closure has no interior)". The property was e...
متن کاملthe effect of the record infancy in crimilly acts of guilties (in karaj city)
چکیده یکی از مهمترین دغدغه های بزرگ جوامع بشری، از دیر باز تا کنون که ذهن پژوهشگران و متخصصان بهداشت روانی و اجتماعی و دولتها رابه خود مشغول داشته، مسأله ی بزهکاری می باشد. شناخت کامل پدیده ی بزهکاری و بزهکار، علل وعوامل سقوط یک انسان، چگونگی درمان وی و درنهایت پیشگیری ازبزهکاری ودریک کلام سالم سازی یک جامعه، رسالت عظیم، انسانی ومقدسی می باشد که با بررسی شخصیت مجرم یعنی[ انسانی که تحت شرای...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Izvestiya: Mathematics
سال: 2021
ISSN: ['1468-4810', '1064-5632']
DOI: https://doi.org/10.1070/im8937