Search Results - "Forcing (Model theory)"

Forcing for an Optimal A -Translation.

Authors: Li, Rui¹ (AUTHOR)

Source: Logics. Mar2026, Vol. 4 Issue 1, p2. 11p.

Forcing properties of Boolean algebras of type P(ω)/I.

Authors: Campero-Arena, Gabriela Guzmán-González, Osvaldo Hrušák, Michael et al.

Source: Fundamenta Mathematicae. 2026, Vol. 272 Issue 1, p1-24. 24p.

Generalized cardinal invariants for an inaccessible κ with compactness at κ++.

Authors: Honzik, Radek Stejskalová, Šárka

Source: Archive for Mathematical Logic; Nov2025, Vol. 64 Issue 7/8, p1077-1102, 26p

On semiproperness of Namba forcings and ideals in Prikry extensions.

Authors: Kenta Tsukuura¹ tsukuura@fish-u.ac.jp

Source: Fundamenta Mathematicae. 2025, Vol. 271 Issue 1, p1-27. 27p.

UNIVERSALITY PROPERTIES OF FORCING.

Authors: PARENTE, FRANCESCO VIALE, MATTEO

Source: Journal of Symbolic Logic; Jun2026, Vol. 91 Issue 2, p813-831, 19p

Universal graphs between a strong limit singular and its power.

Authors: Poór, Márk Shelah, Saharon

Source: Transactions of the American Mathematical Society. May2026, Vol. 379 Issue 5, p3111-3159. 49p.

Partitions of the Baire space into compact sets.

Authors: Fischer, Vera Schembecker, Lukas

Source: Fundamenta Mathematicae. 2025, Vol. 269 Issue 1, p45-69. 25p.

Müasir mağazalarda satış sahəsinin planlaşdırılmasının nəzəri əsasları.

Alternate Title: Theoretical Foundations of Sales Area Planning in Modern Stores.

Authors: Mövlanov, Fain¹ fain.movlanov@mail.ru

Source: Scientific Work / Elmi Iş. 2025 Special Issue, p178-183. 6p.

On Namba Forcing And Minimal Collapses.

Source: Forum of Mathematics, Sigma. 2025, Vol. 13, p1-9. 9p.

Forcing for Second-Order Logic.

Authors: Fritz, Peter Roberts, Sam

Source: Journal of Philosophical Logic. Apr2026, p1-57. 57p.

Classical Namba forcing can have the weak countable approximation property.

Authors: Levine, Maxwell¹ (AUTHOR)

Source: Proceedings of the American Mathematical Society. Apr2026, Vol. 154 Issue 4, p1787-1796. 10p.

AXIOMATIZATION AND FORCING IN SET THEORY WITH URELEMENTS.

Authors: YAO, BOKAI¹, bkyao@pku.edu.cn

Source: Journal of Symbolic Logic; Mar2026, Vol. 91 Issue 1, p393-419, 27p

Generic Sets and Arbitrary Objects.

Authors: Venturi, Giorgio¹ (AUTHOR) gio.venturi@gmail.com

Source: Nous (0029-4624). Feb2026, p1. 12p.

STRONG MEASURE ZERO SETS ON $2^\kappa $ FOR $\kappa $ INACCESSIBLE.

Authors: CHAPMAN, NICK STEVEN SCHÜRZ, JOHANNES PHILIPP

Source: Journal of Symbolic Logic; Sep2025, Vol. 90 Issue 3, p1277-1307, 31p

ON EASTON SUPPORT ITERATION OF PRIKRY-TYPE FORCING NOTIONS.

Authors: GITIK, MOTI KAPLAN, EYAL

Source: Journal of Symbolic Logic; Sep2025, Vol. 90 Issue 3, p968-1013, 46p

COMPLETE BIPARTITE PARTITION RELATIONS IN COHEN EXTENSIONS.

Authors: UHRIK, DÁVID¹, uhrik@karlin.mff.cuni.czuhrik@math.cas.cz

Source: Journal of Symbolic Logic; Sep2025, Vol. 90 Issue 3, p1014-1021, 8p

Magidor-like forcing and the cofinality of the Galvin number.

Alternate Title: Forcing à la Magidor et cofinalité du nombre de Galvin.

Authors: Garti, Shimon¹ shimon.garty@mail.huji.ac.il

Source: Comptes Rendus. Mathématique. 2025, Vol. 363, p1003-1011. 9p.

Subjects: Forcing (Model theory), Set theory, Mathematics

基于构型力理论的风电齿轮接触损伤研究. (Chinese)

Authors: 叶 楠 张雁辉 王 荣 et al.

Source: Journal of Mechanical Strength / Jixie Qiangdu; 2025, Vol. 47 Issue 4, p39-46, 8p

Separating cardinal characteristics of the strong measure zero ideal.

Authors: Brendle, Jörg Cardona, Miguel A. Mejía, Diego A.

Source: Journal of Mathematical Logic. Jul2025, p1. 52p.

Naturality and definability III.

Authors: Asgharzadeh, Mohsen Golshani, Mohammad Shelah, Saharon

Source: Fundamenta Mathematicae. 2025, Vol. 271 Issue 2, p131-156. 26p.