Image de couverture de livre

Adding Abraham clubs and $α$-properness

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Golshani, Mohammad, Naveh, Rouholah Hoseini
Format:	Preprint
Publié:	2024
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The proper forcing axiom for $\aleph_1$-sized posets, $ω_1$-linked symmetrically proper forcing, and the size of the continuum
par: Asperó, David, et autres
Publié: (2022)

On the number of cofinalities of cuts in ultraproducts of linear orders
par: Golshani, Mohammad
Publié: (2025)

The special Aronszajn tree property at $\aleph_2$ and $GCH$
par: Asperó, David, et autres
Publié: (2018)

The measuring principle and the continuum hypothesis
par: Golshani, Mohammad, et autres
Publié: (2022)

On a Question of Hamkins and Löwe on the modal logic of collapse forcing
par: Golshani, Mohammad, et autres
Publié: (2016)

Naturality and Definability III
par: Asgharzadeh, Mohsen, et autres
Publié: (2023)

Strong Completeness of Provability Logic for Uncountable Languages
par: Golshani, Mohammad, et autres
Publié: (2026)

Quite free p-groups with trivial duality
par: Asgharzadeh, Mohsen, et autres
Publié: (2025)

Expressive Power of Infinitary Logic and Absolute co-Hopfianity
par: Asgharzadeh, Mohsen, et autres
Publié: (2023)

Failure of singular compactness for Hom
par: Asgharzadeh, Mohsen, et autres
Publié: (2025)

Co-Hopfian and boundedly endo-rigid mixed abelian groups
par: Asgharzadeh, Mohsen, et autres
Publié: (2022)

On groups well represented as automorphism groups of groups
par: Asgharzadeh, Mohsen, et autres
Publié: (2024)

Cohen Generic Structures with Functions
par: Ackerman, Nathanael, et autres
Publié: (2023)

A club guessing toolbox I
par: Inamdar, Tanmay, et autres
Publié: (2022)

Adding ultrafilters to Shelah's model for no nowhere dense ultrafilters
par: Raghavan, Dilip, et autres
Publié: (2024)

Adding Negation to Lambda Mu
par: van Bakel, Steffen
Publié: (2021)

Pixelating Relations and Functions Without Adding Substructures
par: Fischer, Eldar
Publié: (2024)

Adding a constant and an axiom to a doctrine
par: Guffanti, Francesca
Publié: (2023)

Lower bounds on $β(α)$ and other properties of $α$-ITRMs
par: Carl, Merlin
Publié: (2021)

Adding $\aleph_ω$ many Cohen reals
par: Marun, Pedro, et autres
Publié: (2025)

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
par: Lutz, Carsten, et autres
Publié: (2024)

Suslin tree preservation and club isomorphisms
par: Krueger, John
Publié: (2022)

Square-bracket operations clubs
par: Guzman, Osvaldo, et autres
Publié: (2026)

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

Adding cofinal countable sequences through multiple regular cardinals by ssp forcing
par: De Bondt, Ben, et autres
Publié: (2025)

Definability in affine continuous logic
par: Bagheri, Seyed-Mohammad
Publié: (2024)

Extreme types and extremal models
par: Bagheri, Seyed-Mohammad
Publié: (2024)

Iterated club shooting and the stationary-logic constructible model
par: Ya'ar, Ur
Publié: (2022)

Multiple gaps and some finitizations of club and CH
par: Chapital, Jorge Antonio Cruz
Publié: (2025)

A Formal Analysis of Capacity Scaling Algorithms for Minimum-Cost Flows
par: Abdulaziz, Mohammad, et autres
Publié: (2026)

A Fixed-Parameter Study on Propositional Dynamic Logic
par: Hosseinpour, Mohammad Javad, et autres
Publié: (2024)

Demystifying $μ$
par: Afshari, Bahareh, et autres
Publié: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
par: Afshari, Bahareh, et autres
Publié: (2024)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
par: Herbelin, Hugo
Publié: (2024)

The strength of the dominance rule
par: Kołodziejczyk, Leszek Aleksander, et autres
Publié: (2024)

Dynamic Probability Logic: Decidability & Computability
par: Chopoghloo, Somayeh, et autres
Publié: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)

Decidability of Quasi-Dense Modal Logics
par: Ostropolski-Nalewaja, Piotr, et autres
Publié: (2024)

The subTuring degrees
par: Kihara, Takayuki, et autres
Publié: (2024)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
par: Gratzer, Daniel, et autres
Publié: (2024)