Cover Image

Independence relations in the Solovay model I

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Zapletal, Jindrich
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

Dynamical ideals and the axiom of choice
by: Zapletal, Jindrich
Published: (2024)

Coloring equilateral triangles
by: Zapletal, Jindrich
Published: (2025)

On the Isbell problem
by: Cancino-Manríquez, Jonathan, et al.
Published: (2024)

A Solovay-like model at $\aleph_ω$
by: Poveda, Alejandro, et al.
Published: (2025)

Perfect set dichotomy theorem in generalized Solovay model
by: Sakai, Hiroshi, et al.
Published: (2025)

Condensed Sets and the Solovay Model
by: Bannister, Nathaniel, et al.
Published: (2026)

Variants of Solovay reducibility
by: Titov, Ivan
Published: (2024)

Higher Solovay Models
by: Straffelini, Cesare, et al.
Published: (2025)

Partition theorems for Ketonen-Solovay largeness
by: Houérou, Quentin Le, et al.
Published: (2026)

Solovay reducibility implies S2a-reducibility
by: Titov, Ivan
Published: (2024)

A total Solovay reducibility and totalizing of the notion of speedability
by: Merkle, Wolfgang, et al.
Published: (2024)

Equivalence and Conditional Independence in Atomic Sheaf Logic
by: Simpson, Alex
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)

Goodstein at the Second Threshold: An Independence Result for $ID_2$
by: Gjetaj, Oriola, et al.
Published: (2026)

AC and the Independence of the Law of Trichotomy in Second-Order Henkin Logic
by: Gaßner, Christine
Published: (2024)

Free Independence is not definable
by: Boulanger, William, et al.
Published: (2025)

AC and the Independence of WO in Second-Order Henkin Logic, Part II
by: Gaßner, Christine
Published: (2024)

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

Ramsey Property and Pathological Sets: Almost Disjointness, Independence and Other Maximal Objects
by: He, Jialiang, et al.
Published: (2026)

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

Enumerating Independent Linear Inferences
by: Das, Anupam, et al.
Published: (2021)

Independence Phenomena in Mathematics: a Set Theoretic Perspective on Current Obstacles and Scenarios for Solutions
by: Müller, Sandra
Published: (2024)

AC and the Independence of WO in Second-Order Henkin Logic, Part I
by: Gaßner, Christine
Published: (2024)

On P=NP Either False or Independent of ZFC
by: Williamson, S Gill
Published: (2024)

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

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

Completions of Kleene's second model
by: Terwijn, Sebastiaan A.
Published: (2023)

Independence and Induction in Reverse Mathematics
by: Belanger, David, et al.
Published: (2024)

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

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
by: de Jong, Tom
Published: (2024)

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

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

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
by: Gaßner, Christine
Published: (2025)

Local structure of idempotent algebras I
by: Bulatov, Andrei A.
Published: (2020)

Polynomials as terms and the Boolean Independence Theorem
by: Klazar, M.
Published: (2024)

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

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

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)