Image de couverture de livre

On the Isbell problem

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Cancino-Manríquez, Jonathan, Zapletal, Jindrich
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

Independence relations in the Solovay model I
par: Zapletal, Jindrich
Publié: (2025)

Dynamical ideals and the axiom of choice
par: Zapletal, Jindrich
Publié: (2024)

Coloring equilateral triangles
par: Zapletal, Jindrich
Publié: (2025)

Con($\mathfrak{r}_{\mathsf{nwd}}<\mathfrak{irr}$)
par: Manríquez, Jonathan Cancino
Publié: (2025)

P-measures in models without P-points
par: Borodulin-Nadzieja, Piotr, et autres
Publié: (2024)

Codensity: Isbell duality, pro-objects, compactness and accessibility
par: Di Liberti, Ivan
Publié: (2019)

Did Turing prove the undecidability of the halting problem?
par: Hamkins, Joel David, et autres
Publié: (2024)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
par: Grilletti, Gianluca, et autres
Publié: (2024)

Reflexive graph lenses in univalent foundations
par: Sterling, Jonathan
Publié: (2024)

A joint logic of problems and propositions
par: Melikhov, Sergey A.
Publié: (2025)

Searching problems above arithmetical transfinite recursion
par: Suzuki, Yudai, et autres
Publié: (2023)

Strict universes for Grothendieck topoi
par: Gratzer, Daniel, et autres
Publié: (2022)

Levin's and Prucnal's theorems on Medvedev's logic of finite problems
par: Přenosil, Adam
Publié: (2024)

Almost free algebras: from the word problem to elimination of quantifiers
par: Jia, Yifan, et autres
Publié: (2026)

Upward Löwenheim-Skolem-Tarski Numbers for Abstract Logics
par: Gitman, Victoria, et autres
Publié: (2024)

Quasiminimality of complex powers
par: Gallinaro, Francesco, et autres
Publié: (2023)

The domino problem is decidable for robust tilesets
par: Aubrun, Nathalie, et autres
Publié: (2024)

On the optimality of the HOD dichotomy
par: Goldberg, Gabriel, et autres
Publié: (2024)

Domains and Classifying Topoi
par: Sterling, Jonathan, et autres
Publié: (2025)

The isomorphism problem for group actions
par: Foreman, Matthew, et autres
Publié: (2025)

Measuring Decidability as Related to Busy Beaver Numbers
par: Tandi, Gurpreet, et autres
Publié: (2026)

What the adoption problem does not show
par: Camillo Fiore
Publié: (2022)

Model theory and Connes' bicentralizer problem
par: Ando, Hiroshi, et autres
Publié: (2026)

A correspondence problem for mathematical proof
par: DeDeo, Simon, et autres
Publié: (2026)

Hilbert's tenth problem via additive combinatorics
par: Koymans, Peter, et autres
Publié: (2024)

Hilbert's tenth problem for finitely generated rings
par: Koymans, Peter, et autres
Publié: (2026)

Ordered groups of formal series, and a conjugacy problem
par: Bagayoko, Vincent
Publié: (2025)

Bowen's Problem 32 and the conjugacy problem for systems with specification
par: Deka, Konrad, et autres
Publié: (2025)

Approaching the Conway-99 problem using SAT solvers
par: Keramatipour, Ali
Publié: (2026)

The interpolant existence problem for weak K4 and difference logic
par: Kurucz, Agi, et autres
Publié: (2024)

Hilbert's tenth problem for lacunary entire functions of finite order
par: Natalia Garcia‐Fritz, et autres
Publié: (2024)

Constraint satisfaction problems, compactness and non-measurable sets
par: Tardif, Claude
Publié: (2025)

On the entailment problem for DL-Lite$_{core}$ ontologies and conjunctive queries with negation
par: Marcinkowski, Jerzy, et autres
Publié: (2025)

On the isomorphism problem for ultraproducts of $\mathrm{C}^*$-algebras in continuous model theory
par: Arai, Akihiko
Publié: (2025)

Transcendence degrees over mutually generic extensions
par: Schilhan, Jonathan
Publié: (2025)

When are two algorithms the same? Towards addressing Hilbert's 24th problem
par: Doubrovinski, Konstantin
Publié: (2025)

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)