-
1Report
المساهمون: Microsoft Corporation Redmond, Microsoft Corporation Redmond, Wash.
المصدر: https://hal.science/hal-03701443 ; 2023.
مصطلحات موضوعية: Diagonal Argument, Continuum Hypothesis, Cohen Forcing, [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM]
Relation: hal-03701443; https://hal.science/hal-03701443; https://hal.science/hal-03701443v3/document; https://hal.science/hal-03701443v3/file/A%20possible%20Resolution%20to%20Hilbert%27s%20First%20Problem.pdf
-
2Report
المساهمون: Microsoft Corporation Redmond, Microsoft Corporation Redmond, Wash.
المصدر: https://hal.science/hal-03701443 ; 2023.
مصطلحات موضوعية: Diagonal Argument, Continuum Hypothesis, Cohen Forcing, [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM]
Relation: hal-03701443; https://hal.science/hal-03701443; https://hal.science/hal-03701443v2/document; https://hal.science/hal-03701443v2/file/Resolution%20to%20Hilberts%20First%20Problem%20Conference.pdf
-
3Report
المساهمون: Microsoft Corporation Redmond, Microsoft Corporation Redmond, Wash.
المصدر: https://hal.archives-ouvertes.fr/hal-03701443 ; 2022.
مصطلحات موضوعية: Diagonal Argument, Continuum Hypothesis, Cohen Forcing, [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM]
Relation: hal-03701443; https://hal.archives-ouvertes.fr/hal-03701443; https://hal.archives-ouvertes.fr/hal-03701443/document; https://hal.archives-ouvertes.fr/hal-03701443/file/A%20possible%20Resolution%20to%20Hilbert%27s%20First%20Problem.pdf
-
4Academic Journal
المؤلفون: Kurilić, Miloš S.
المصدر: The Journal of Symbolic Logic, 2001 Mar 01. 66(1), 257-270.
URL الوصول: https://www.jstor.org/stable/2694920
-
5Academic Journal
المؤلفون: Radek Honzík
المصدر: Acta Universitatis Carolinae: Philosophica et Historica, Vol 2017, Iss 2, Pp 27-32 (2017)
مصطلحات موضوعية: Cohen forcing, measurability, Philosophy. Psychology. Religion
وصف الملف: electronic resource
-
6Academic Journal
المؤلفون: Karagila, Asaf, Schlicht , Philipp
المصدر: Karagila , A & Schlicht , P 2020 , ' How to have more things by forgetting how to count them ' , Proceedings of the Royal Society A: Mathematical and Physical Sciences , vol. 476 , no. 2239 , 476 . https://doi.org/10.1098/rspa.2019.0782
مصطلحات موضوعية: Dedekind-finite sets, Cohen forcing, Cohen’s first model, Axiom of Choice, symmetric extensions
وصف الملف: application/pdf
الاتاحة: https://hdl.handle.net/1983/f9ae9aa2-3262-4380-b666-1596603028d9
https://research-information.bris.ac.uk/en/publications/f9ae9aa2-3262-4380-b666-1596603028d9
https://doi.org/10.1098/rspa.2019.0782
https://research-information.bris.ac.uk/ws/files/245004215/Full_text_PDF_final_published_version_.pdf -
7Academic Journal
المؤلفون: Dow, Alan
المصدر: Proceedings of the American Mathematical Society, 1990 May 01. 109(1), 275-279.
URL الوصول: https://www.jstor.org/stable/2048389
-
8Academic Journal
المؤلفون: Fleissner, William G.
المصدر: Proceedings of the American Mathematical Society, 1978 Sep 01. 71(2), 313-320.
URL الوصول: https://www.jstor.org/stable/2042856
-
9Academic Journal
المؤلفون: Brendle, Jörg, GARCÍA ÁVILA, Luz María
مصطلحات موضوعية: Hindman's Theorem, complete embedding, distributivity number, maximal almost disjoint family, almost disjointness number, Cohen forcing, random forcing, Hechler forcing, Laver forcing, iterated forcing, diamond principle
Relation: info:doi/10.2969/jmsj/06931247
-
10Academic Journal
المؤلفون: Jörg Brendle, Shunsuke Yatabe
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Maximal almost disjoint families, Tall ideals, Cardinal invariants of the continuum, Cohen forcing, Random forcing, Hechler forcing, Sacks forcing, Miller forcing, Laver forcing, Iterated Sacks forcing
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.553.4508; http://www.matmor.unam.mx/~michael/preprints_files/brendle_yatabe.pdf
-
11
المؤلفون: Luz María García Ávila, Jörg Brendle
المصدر: J. Math. Soc. Japan 69, no. 3 (2017), 1247-1280
مصطلحات موضوعية: General Mathematics, Block (permutation group theory), Mathematics::General Topology, 0102 computer and information sciences, Forcing (mathematics), almost disjointness number, Random forcing, 01 natural sciences, Omega, Antichain, Hindman's Theorem, Combinatorics, diamond principle, Cardinality, distributivity number, Hechler forcing, 0101 mathematics, Laver forcing, 03E40, Mathematics, Discrete mathematics, complete embedding, 010102 general mathematics, Order (ring theory), maximal almost disjoint family, iterated forcing, Diamond principle, 03E35, Mathematics::Logic, 010201 computation theory & mathematics, 03E17, random forcing, Cohen forcing
وصف الملف: application/pdf
-
12Academic Journal
المؤلفون: Saharon Shelah
المساهمون: The Pennsylvania State University CiteSeerX Archives
المصدر: http://shelah.logic.at/files/630.pdf.
مصطلحات موضوعية: Key words and phrases. set theory, forcing, iterated forcing, preservation for iterated forcing, nep, snep, Cohen forcing, commuting forcing, Fubini theorem. I thank Mr Ilmari Hyvönen and Einar Karttunen for making so nicely large revision i
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.474.4092; http://shelah.logic.at/files/630.pdf
-
13Academic Journal
المؤلفون: Alan Dow A, Klaas Pieter Hart B
المساهمون: The Pennsylvania State University CiteSeerX Archives
المصدر: http://dutiaw37.twi.tudelft.nl/~kp/publications/the_papers/published/cohen-model.pdf.
مصطلحات موضوعية: βN, Cohen forcing, Parovičenko’s theorem, Characterizations
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.9044; http://dutiaw37.twi.tudelft.nl/~kp/publications/the_papers/published/cohen-model.pdf
-
14Academic Journal
المؤلفون: Brodsky, Ari Meir, Rinot, Assaf
مصطلحات موضوعية: Souslin-tree construction, microscopic approach, Prikry forcing, Magidor forcing, Radin forcing, Cohen forcing, Hechler forcing, parameterized proxy principle, square principle, outside guessing of clubs, 03E05, 03E35, 05C05, 03E65
وصف الملف: application/pdf
Relation: https://projecteuclid.org/euclid.ndjfl/1560218424; Notre Dame J. Formal Logic 60, no. 3 (2019), 437-455
-
15eBook
المؤلفون: Kossak, Roman, author, Schmerl, James H., author
المصدر: The Structure of Models of Peano Arithmetic, 2006.
-
16Academic Journal
المؤلفون: BRENDLE, Jörg, GARCÍA ÁVILA, Luz María
مصطلحات موضوعية: Hindman's Theorem, complete embedding, distributivity number, maximal almost disjoint family, almost disjointness number, Cohen forcing, random forcing, Hechler forcing, Laver forcing, iterated forcing, diamond principle, 03E40, 03E17, 03E35
وصف الملف: application/pdf
Relation: https://projecteuclid.org/euclid.jmsj/1499846526; J. Math. Soc. Japan 69, no. 3 (2017), 1247-1280
-
17Academic Journal
المؤلفون: Fischer, Vera, Schrittesser, David, Tornquist, Asger
المصدر: Fischer , V , Schrittesser , D & Tornquist , A 2017 , ' A co-analytic Cohen indestructible maximal cofinitary group ' , Journal of Symbolic Logic , vol. 82 , no. 2 , pp. 629-647 . https://doi.org/10.1017/jsl.2017.5
مصطلحات موضوعية: descriptive set theory, consistency and independence results, maximal cofinitary groups, constructible sets, Cohen forcing, co-analytic
الاتاحة: https://curis.ku.dk/portal/da/publications/a-coanalytic-cohen-indestructible-maximal-cofinitary-group(f17625d3-e239-4085-a701-727e055e72f7).html
https://doi.org/10.1017/jsl.2017.5
http://arxiv.org/pdf/1603.02024 -
18
المؤلفون: Assaf Rinot, Ari Meir Brodsky
المصدر: Notre Dame J. Formal Logic 60, no. 3 (2019), 437-455
مصطلحات موضوعية: Large class, Class (set theory), Logic, 0603 philosophy, ethics and religion, 01 natural sciences, Combinatorics, 05C05, 03E65, Souslin-tree construction, 03E05, FOS: Mathematics, Radin forcing, Hechler forcing, microscopic approach, 0101 mathematics, Mathematics, parameterized proxy principle, Forcing (recursion theory), Magidor forcing, Prikry forcing, 010102 general mathematics, 06 humanities and the arts, Mathematics - Logic, Primary 03E05, Secondary 03E35, 05C05, Object (computer science), outside guessing of clubs, 03E35, Tree (data structure), 060302 philosophy, Logic (math.LO), Cohen forcing, square principle
وصف الملف: application/pdf
-
19
المؤلفون: Miloš S. Kurilić
المصدر: Annals of Pure and Applied Logic. 145:240-251
مصطلحات موضوعية: Rational number, Pure mathematics, Forcing (recursion theory), Hierarchy (mathematics), Logic, Nowhere dense set, Splitting families, Random forcing, Space (mathematics), Stability (probability), Combinatorics, Mathematics::Logic, Sacks forcing, Forcing, Hechler forcing, Laver forcing, Cohen forcing, Miller forcing, Mathematics
-
20
المؤلفون: Shunsuke Yatabe, Jörg Brendle
المصدر: Annals of Pure and Applied Logic. 132(2-3):271-312
مصطلحات موضوعية: Discrete mathematics, Forcing (recursion theory), Logic, Maximal almost disjoint families, Disjoint sets, Extension (predicate logic), Characterization (mathematics), Random forcing, Combinatorics, Fragment (logic), Iterated function, Sacks forcing, Cardinal invariants of the continuum, Hechler forcing, Laver forcing, Cohen forcing, Tall ideals, Miller forcing, Iterated Sacks forcing, Mathematics
Full Text Finder