المؤلفون: Vladimir Kanovei, Vassily Lyubetsky

المصدر: Axioms, Vol 14, Iss 1, p 13 (2024)

مصطلحات موضوعية: constructibility, projective hierarchy, uniform sets, projections, Mathematics, QA1-939

وصف الملف: electronic resource

Relation: https://www.mdpi.com/2075-1680/14/1/13; https://doaj.org/toc/2075-1680

URL الوصول: https://doaj.org/article/a31993e98b4c4eeba5621b9f0998442a

المؤلفون: Vladimir Kanovei, Vassily Lyubetsky

المصدر: Axioms; Volume 11; Issue 8; Pages: 354

مصطلحات موضوعية: well-orderings, projective hierarchy, forcing, finite support product, generic models, definability

وصف الملف: application/pdf

Relation: Logic; https://dx.doi.org/10.3390/axioms11080354

الاتاحة: https://doi.org/10.3390/axioms11080354

المؤلفون: Vladimir Kanovei, Vassily Lyubetsky

المصدر: Axioms; Volume 11; Issue 3; Pages: 122

مصطلحات موضوعية: separation, projective hierarchy, forcing

وصف الملف: application/pdf

Relation: Logic; https://dx.doi.org/10.3390/axioms11030122

الاتاحة: https://doi.org/10.3390/axioms11030122

المؤلفون: Ali Enayat, Vladimir Kanovei, Vassily Lyubetsky

المصدر: Mathematics; Volume 9; Issue 14; Pages: 1670

مصطلحات موضوعية: indiscernible sets, Leibniz-Mycielski axiom, projective hierarchy, generic models, ordinal definability, Miller forcing, Laver forcing, Silver forcing

وصف الملف: application/pdf

Relation: Mathematics and Computer Science; https://dx.doi.org/10.3390/math9141670

الاتاحة: https://doi.org/10.3390/math9141670

المؤلفون: Vladimir Kanovei, Vassily Lyubetsky

المصدر: Mathematics; Volume 8; Issue 9; Pages: 1477

مصطلحات موضوعية: Harvey Friedman’s problem, definability, nonconstructible reals, projective hierarchy, generic models, almost-disjoint forcing

وصف الملف: application/pdf

Relation: https://dx.doi.org/10.3390/math8091477

الاتاحة: https://doi.org/10.3390/math8091477

المؤلفون: Vladimir Kanovei, Vassily Lyubetsky

المصدر: Mathematics; Volume 8; Issue 6; Pages: 910

مصطلحات موضوعية: definability, nonconstructible reals, projective hierarchy, generic models, almost disjoint forcing

وصف الملف: application/pdf

Relation: https://dx.doi.org/10.3390/math8060910

الاتاحة: https://doi.org/10.3390/math8060910

المؤلفون: Gaspar, Michel Fernandes

Thesis Advisors: Fajardo, Rogerio Augusto dos Santos

مصطلحات موضوعية: Forcing, Forcing idealizado, Hierarquia projetiva, Idealized forcing, Projective hierarchy, Regularidade na reta real, Regularity in the real line

وصف الملف: application/pdf

الاتاحة: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-27062018-130056/

المؤلفون: Dániel T. Soukup, Sy-David Friedman

المصدر: Fundamenta Mathematicae. 253:175-196

مصطلحات موضوعية: 03D45, 03E15, 03E05, Class (set theory), Algebra and Number Theory, 010102 general mathematics, Sigma, Mathematics - Logic, 01 natural sciences, Omega, Combinatorics, Projective hierarchy, FOS: Mathematics, Uncountable set, Property of Baire, 0101 mathematics, Logic (math.LO), Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f6fe1e9f04d3bffdaa2e217ce4cf7fb0
https://doi.org/10.4064/fm910-6-2020

المؤلفون: Chris Miller, Philipp Hieronymi

المصدر: Transactions of the American Mathematical Society. 373:849-874

مصطلحات موضوعية: Pure mathematics, Applied Mathematics, General Mathematics, 010102 general mathematics, Metric Geometry (math.MG), Natural number, Field (mathematics), Mathematics - Logic, Primary 03C64, Secondary 03E15, 28A05, 28A75, 54F45, 54H05, 01 natural sciences, Metric dimension, Set (abstract data type), Projective hierarchy, symbols.namesake, Mathematics - Metric Geometry, Dimension (vector space), FOS: Mathematics, symbols, 0101 mathematics, Logic (math.LO), Lebesgue covering dimension, Mathematics, Real number

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::633c1a728d93c75d9d653c0e9ca2d198
https://doi.org/10.1090/tran/7691

المؤلفون: Maitra, Ashok

المصدر: Proceedings of the American Mathematical Society, 1994 Feb 01. 120(2), 573-576.

URL الوصول: https://www.jstor.org/stable/2159898

المؤلفون: Vladimir Kanovei, Vassily Lyubetsky

المصدر: Mathematics, Vol 8, Iss 1477, p 1477 (2020)

مصطلحات موضوعية: definability, generic models, almost-disjoint forcing, nonconstructible reals, lcsh:Mathematics, Harvey Friedman’s problem, projective hierarchy, lcsh:QA1-939

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doajarticles::9cfc316c8e185c5156bd22cde1caa724
https://www.mdpi.com/2227-7390/8/9/1477

المؤلفون: Rachid Atmai

المصدر: The Journal of Symbolic Logic. 84:1-26

مصطلحات موضوعية: Algebra, Philosophy, Projective hierarchy, 010201 computation theory & mathematics, Logic, 010102 general mathematics, 0102 computer and information sciences, 0101 mathematics, Inner model theory, 01 natural sciences, Mathematics, Descriptive set theory

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1def77e841eb21221279138781ba6368
https://doi.org/10.1017/jsl.2016.63

المؤلفون: Vassily A. Lyubetsky, Vladimir Kanovei

المصدر: Fundamenta Mathematicae. 245:175-215

مصطلحات موضوعية: Algebra and Number Theory, Existential quantification, Mathematics::General Topology, 03E15, 03E35, 03E47, Mathematics - Logic, Combinatorics, Set (abstract data type), Mathematics::Logic, Projective hierarchy, FOS: Mathematics, Countable set, Set theory, Projective test, Logic (math.LO), Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e44d85f0f7b7a3943fe310876c7a22c2
https://doi.org/10.4064/fm517-7-2018

المؤلفون: Friedman, Harvey, Kurdyka, Krzysztof, Miller, Chris, Speissegger, Patrick

المساهمون: Department of Mathematics, Ohio State University Columbus (OSU), Laboratoire de Mathématiques (LAMA), Université Savoie Mont Blanc (USMB Université de Savoie Université de Chambéry )-Centre National de la Recherche Scientifique (CNRS), Niigata University, Department of Mathematics & Statistics Halmiton, McMaster University Hamilton, Ontario

المصدر: https://hal.science/hal-00389216 ; 2008.

مصطلحات موضوعية: expansion of the real field, o-minimal, projective hierarchy, Cantor set, Hausdorff dimension, Minkowski dimension, 03C64,03E15, 28E15, [MATH.MATH-GT]Mathematics [math]/Geometric Topology [math.GT]

Relation: hal-00389216; https://hal.science/hal-00389216; https://hal.science/hal-00389216/document; https://hal.science/hal-00389216/file/fkms112008.pdf

الاتاحة: https://hal.science/hal-00389216
https://hal.science/hal-00389216/document
https://hal.science/hal-00389216/file/fkms112008.pdf

المؤلفون: Michel Fernandes Gaspar

Thesis Advisors: Rogerio Augusto dos Santos Fajardo, Leandro Fiorini Aurichi, Ana Carolina Boero

المصدر: Biblioteca Digital de Teses e Dissertações da USPUniversidade de São PauloUSP.

مصطلحات موضوعية: Forcing, Forcing idealizado, Hierarquia projetiva, Regularidade na reta real, Idealized forcing, Projective hierarchy, Regularity in the real line

الاتاحة: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-27062018-130056/

المؤلفون: Yurii Khomskii, Vera Fischer, Sy-David Friedman

المصدر: Archive for Mathematical Logic. 53:695-729

مصطلحات موضوعية: Combinatorics, Discrete mathematics, Lift (mathematics), Philosophy, Projective hierarchy, Cichoń's diagram, Logic, Inaccessible cardinal, Sigma, Real number, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a2196a7dedef72996293332d91e7aa56
https://doi.org/10.1007/s00153-014-0385-8

المؤلفون: Benjamin D. Miller

المصدر: Bull. Symbolic Logic 18, iss. 4 (2012), 554-575

مصطلحات موضوعية: Discrete mathematics, medicine.medical_specialty, Mathematics::Combinatorics, Graph theoretic, Logic, Computer science, Scale (descriptive set theory), Colorings, dichotomy theorems, Sketch, Algebra, Philosophy, Projective hierarchy, Effective descriptive set theory, descriptive set theory, 03E15, medicine, Chromatic scale, 28A05, Descriptive set theory

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::33ae7555b48c4f5e094f1ad1ecd2586a
https://doi.org/10.2178/bsl.1804030

المؤلفون: Krzysztof Krupiński

المصدر: Transactions of the American Mathematical Society. 362:3499-3533

مصطلحات موضوعية: Structure (mathematical logic), Model theory, Pure mathematics, Profinite group, Applied Mathematics, General Mathematics, Mathematics::General Topology, Projective hierarchy, Compact group, Calculus, Polish space, Group theory, Descriptive set theory, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b801d2e2d5ffda9e55c4f2e65533386b
https://doi.org/10.1090/s0002-9947-10-04988-3

المؤلفون: Dominique Lecomte, Olivier Finkel

المصدر: Annals of Pure and Applied Logic. 160:163-191

مصطلحات موضوعية: Discrete mathematics, medicine.medical_specialty, Logic, Recursive ordinal, ω-power, Baire space, Effective descriptive set theory, Borel class, Combinatorics, Mathematics::Logic, Projective hierarchy, Complete, Borel hierarchy, Hyperarithmetical hierarchy, medicine, Polish space, Borel set, Descriptive set theory, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ad9e884393d65a7cf6d05e02df96c3e0
https://doi.org/10.1016/j.apal.2009.02.005

المؤلفون: Miroslav Zelený, Etienne Matheron

المصدر: Bull. Symbolic Logic 13, iss. 4 (2007), 482-537

مصطلحات موضوعية: medicine.medical_specialty, Mathematics::Commutative Algebra, Closed set, Logic, Scale (descriptive set theory), Analytic set, ideals and σ-ideals of compact sets, Algebra, Philosophy, Projective hierarchy, Effective descriptive set theory, Compact space, descriptive set theory, 54H05, 03E15, medicine, 28A05, Descriptive set theory, Mathematics

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4bdb8dcc51c634356fe5e514e11803c0
https://doi.org/10.2178/bsl/1203350880