Cover Image

Relating forcing relations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Smykalla, Michel Viana, Mariano, Hugo Luiz
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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)

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
by: Férée, Hugo, et al.
Published: (2026)

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

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

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

Relational semantics for flat Heyting-Lewis Logic
by: de Groot, Jim, et al.
Published: (2026)

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)

A General (Uniform) Relational Semantics for Sentential Logics
by: Hartonas, Chrysafis
Published: (2025)

Intrinsic and relative characterization results for logics with negative modalities
by: de Groot, Jim, et al.
Published: (2025)

Walks along a weak square sequence and the non-semiproperness of Namba forcings
by: Tsukuura, Kenta
Published: (2025)

Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations
by: Hartonas, Chrysafis
Published: (2021)

A logic of judgmental existence and its relation to proof irrelevance
by: Pezlar, Ivo
Published: (2024)

The Relational Quotient Completion
by: Dagnino, Francesco, et al.
Published: (2024)

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

Completeness of Relational Algebra via Cylindric Algebra
by: Laštovička, Jan
Published: (2026)

Gelfand-Kirillov conjecture as a first-order formula
by: Mariano, Hugo Luiz, et al.
Published: (2020)

Stabilized profunctors and stable species of structures
by: Fiore, Marcelo, et al.
Published: (2023)

Relational Companions of Logics
by: Basu, Sankha S., et al.
Published: (2024)

Approximate equivalence relations
by: Hrushovski, Ehud
Published: (2024)

An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem
by: Herbelin, Hugo, et al.
Published: (2024)

Cauchy-completions and the rule of unique choice in relational doctrines
by: Dagnino, Francesco, et al.
Published: (2024)

More nonamalgamable forcing extensions
by: Habič, Miha E., et al.
Published: (2025)

Relevant Consequence Relations: An Invitation
by: Badia, Guillermo, et al.
Published: (2022)

On the regularity of almost stable relations
by: Girón, Marcos
Published: (2025)

Graphings of arithmetical equivalence relations
by: Arant, Tyler
Published: (2025)

Cardinality and Representation of Stone Relation Algebras
by: Furusawa, Hitoshi, et al.
Published: (2023)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
by: Spadetto, Matteo
Published: (2023)

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

The Complexity of Arc-Connectedness Relation in the Plane
by: Uyar, Yusuf
Published: (2025)

Relative to any non-arithmetic set
by: Harrison-Trainor, Matthew
Published: (2025)

Satisfiability in Łukasiewicz logic and its unbounded relative
by: Haniková, Zuzana, et al.
Published: (2025)

Independence relations in the Solovay model I
by: Zapletal, Jindrich
Published: (2025)

Non-distributive relatives of ETL and NFL
by: Kozhemiachenko, Daniil
Published: (2024)

On ideals related to Laver and Miller trees
by: Cieślak, Aleksander, et al.
Published: (2023)

Equivalence of multiset-based consequence relations
by: Madanshekaf, Ali, et al.
Published: (2024)

Characterizing relative decidability in terms of model completeness
by: Harrison-Trainor, Matthew, et al.
Published: (2026)

Axiomatic Theory of Independence Relations in Model Theory
by: d'Elbée, Christian
Published: (2023)