Cover Image

Walks along a weak square sequence and the non-semiproperness of Namba forcings

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Tsukuura, Kenta
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Classical Namba forcing can have the weak countable approximation property
by: Levine, Maxwell
Published: (2023)

On Namba Forcing and Minimal Collapses
by: Levine, Maxwell
Published: (2024)

Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation
by: Lau, Desmond
Published: (2024)

The weakness of finding descending sequences in ill-founded linear orders
by: Goh, Jun Le, et al.
Published: (2024)

Consistency of square bracket partition relation
by: Shelah, Saharon
Published: (2026)

Relating forcing relations
by: Smykalla, Michel Viana, et al.
Published: (2026)

Squares, ultrafilters and forcing axioms
by: Lambie-Hanson, Chris, et al.
Published: (2024)

A Walk on the Wild Side: Notions of maximality in first-order theories
by: Bailetti, Michele
Published: (2024)

On compactness of weak square at singulars of uncountable cofinality
by: Levine, Maxwell
Published: (2022)

Comparing forcing approaches to dense ideals
by: Eskew, Monroe
Published: (2025)

On a Question of Hamkins and Löwe on the modal logic of collapse forcing
by: Golshani, Mohammad, et al.
Published: (2016)

The proper forcing axiom for $\aleph_1$-sized posets, $ω_1$-linked symmetrically proper forcing, and the size of the continuum
by: Asperó, David, et al.
Published: (2022)

A quasianalytic class with weakly smooth germs
by: Guénet, R.
Published: (2025)

Descending sequences in reflection hierarchies
by: Łełyk, Mateusz, et al.
Published: (2025)

On fresh sets in iterations of Prikry type forcing notions
by: Gitik, Moti, et al.
Published: (2024)

Natural Deduction systems for some weak Subintuitionistic Logics
by: Maleki, Fatemeh Shirmohammadzadeh
Published: (2024)

Sign sequences of log-atomic numbers
by: Bagayoko, Vincent
Published: (2024)

Characterizations of monadically dependent tree-ordered weakly sparse structures
by: Buffière, Hector, et al.
Published: (2026)

Effective weak convergence and tightness of measures in computable Polish spaces
by: Rojas, Diego A.
Published: (2024)

On the strength of ultrafilters above choiceless large cardinals and their Prikry forcings
by: Adkisson, William, et al.
Published: (2025)

Adding cofinal countable sequences through multiple regular cardinals by ssp forcing
by: De Bondt, Ben, et al.
Published: (2025)

Class choice and the surprising weakness of Kelley-Morse set theory
by: Gitman, Victoria, et al.
Published: (2026)

Predicates and terms from non-standard sequences
by: Zhuravlov, V. M.
Published: (2023)

Individual choice sequences -- History, development and use
by: Niekus, Joop
Published: (2025)

New simple theories from hypergraph sequences
by: Malliaris, M., et al.
Published: (2021)

The short exact sequence in definable Galois cohomology
by: Meretzky, David
Published: (2024)

The weak Extension Principle
by: Vignati, Alessandro, et al.
Published: (2024)

Positive Almost-Sure Termination of Polynomial Random Walks
by: Winkler, Lorenz, et al.
Published: (2025)

Quasianalytic algebras with weakly smooth germs generate o-minimal structures
by: Guénet, Rémi
Published: (2025)

On the representation of C-recursive integer sequences by arithmetic terms
by: Prunescu, Mihai, et al.
Published: (2024)

Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal
by: Fernández-Duque, David, et al.
Published: (2022)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
by: Oda, Yukihiro
Published: (2025)

Topology, forcing, and graph colourings
by: Greenberg, Noam, et al.
Published: (2026)

The strange world of transfinite Melodies -- Recognizability for weak and strong infinite time $α$-register machines
by: Carl, Merlin
Published: (2022)

Uniform local weak o-minimality and $*$-local weak o-minimality
by: Fujita, Masato
Published: (2024)

Twins: non-isomorphic models forced to be isomorphic. Part I
by: Shelah, Saharon
Published: (2025)

Weak saturation and weak amalgamation property
by: Di Liberti, Ivan
Published: (2017)

A weak theory of building blocks
by: Juvenal Murwanashyaka
Published: (2024)

Modeling FO-limits for monadically stable sequences
by: Braunfeld, S., et al.
Published: (2025)

Mad families of Gowers' infinite block sequences
by: Yung, Clement
Published: (2024)