Imagen de Portada

Relating forcing relations

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Smykalla, Michel Viana, Mariano, Hugo Luiz
Formato:	Preprint
Publicado:	2026
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

Comparing forcing approaches to dense ideals
por: Eskew, Monroe
Publicado: (2025)

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

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

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

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

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

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

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

A General (Uniform) Relational Semantics for Sentential Logics
por: Hartonas, Chrysafis
Publicado: (2025)

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

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

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

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

The Relational Quotient Completion
por: Dagnino, Francesco, et al.
Publicado: (2024)

Topology, forcing, and graph colourings
por: Greenberg, Noam, et al.
Publicado: (2026)

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

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

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

Relational Companions of Logics
por: Basu, Sankha S., et al.
Publicado: (2024)

Approximate equivalence relations
por: Hrushovski, Ehud
Publicado: (2024)

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

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

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

Relevant Consequence Relations: An Invitation
por: Badia, Guillermo, et al.
Publicado: (2022)

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

Graphings of arithmetical equivalence relations
por: Arant, Tyler
Publicado: (2025)

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

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

Consistency of square bracket partition relation
por: Shelah, Saharon
Publicado: (2026)

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

Relative to any non-arithmetic set
por: Harrison-Trainor, Matthew
Publicado: (2025)

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

Independence relations in the Solovay model I
por: Zapletal, Jindrich
Publicado: (2025)

Non-distributive relatives of ETL and NFL
por: Kozhemiachenko, Daniil
Publicado: (2024)

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

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

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

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