Cover Image

On a question of Slaman and Steel

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Day, Adam, Marks, Andrew
Format:	Preprint
Published:	2020
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Results on Colored Tree Properties
by: Day, Gabriel
Published: (2025)

Convergence Laws for Extensions of First-Order Logic with Averaging
by: Adam-Day, Sam, et al.
Published: (2025)

Iterated Priority Arguments in Descriptive Set Theory
by: Day, Adam, et al.
Published: (2022)

Hausdorff dimension and countable Borel equivalence relations
by: Marks, Andrew, et al.
Published: (2024)

Almost Surely Asymptotically Constant Graph Neural Networks
by: Adam-Day, Sam, et al.
Published: (2024)

On a conjecture of Debs and Saint Raymond
by: Kwela, Adam
Published: (2021)

Pointed lattice subreducts of varieties of residuated lattices
by: Přenosil, Adam
Published: (2023)

More on yet another ideal version of the bounding number
by: Kwela, Adam
Published: (2024)

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

Egorov ideals
by: Kwela, Adam
Published: (2023)

A categorical formulation of Kraus' paradox
by: Swan, Andrew W.
Published: (2024)

Oracle modalities
by: Swan, Andrew W
Published: (2024)

Sequent calculi for first-order ST
by: Paoli, Francesco, et al.
Published: (2026)

Duality for finitely valued algebras
by: Abbadini, Marco, et al.
Published: (2025)

Nagata products of bimodules over residuated lattices
by: Přenosil, Adam, et al.
Published: (2025)

The set-theoretic Kaufmann-Clote question
by: McKenzie, Zachiri
Published: (2025)

Equational definitions of logical filters
by: Baldi, Michele Pra, et al.
Published: (2024)

Independence questions in a finite axiom-schematization of first-order logic
by: Jubin, Benoit
Published: (2022)

Cardinal characteristics associated with small subsets of reals
by: Cardona, Miguel A., et al.
Published: (2024)

P-measures in models without P-points
by: Borodulin-Nadzieja, Piotr, et al.
Published: (2024)

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

Three-Dimensional Affine Spatial Logics
by: Trybus, Adam
Published: (2026)

Open questions about Ramsey-type statements in reverse mathematics
by: Patey, Ludovic
Published: (2015)

A minimal base or a direct base? That is the question!
by: Baixeries, Jaume, et al.
Published: (2024)

Belief in Simplicial Complexes
by: Sink, Philip, et al.
Published: (2025)

A Note on Proper Relational Structures
by: Bjorndahl, Adam, et al.
Published: (2025)

On the structure of balanced residuated partially ordered monoids
by: Bonzio, Stefano, et al.
Published: (2024)

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
by: Bilotta, Antonella
Published: (2025)

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

Intuitionistic modal logics: a minimal setting
by: Balbiani, Philippe, et al.
Published: (2025)

Existential and positive games: a comonadic and axiomatic view
by: Abramsky, Samson, et al.
Published: (2025)

Portus: Linking Alloy with SMT-based Finite Model Finding
by: Dancy, Ryan, et al.
Published: (2024)

First-order Logic with Being a Thesis Modal Operator
by: Łyczak, Marcin
Published: (2024)

A concrete model for a typed linear algebraic lambda calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2018)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
by: Bacci, Giorgio, et al.
Published: (2025)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
by: Liang, Xiaolong, et al.
Published: (2024)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
by: Oda, Yukihiro
Published: (2025)

Epistemic reflections on AI answering our questions: overwatch, erudite, logician, interlocutor
by: Hoorn, Johan F., et al.
Published: (2023)

Ketonen's question and other cardinal sins
by: Rinot, Assaf, et al.
Published: (2024)

Relative cofinality of ideals
by: Marton, Adam, et al.
Published: (2025)