Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2020
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2004.00174 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Results on Colored Tree Properties
by: Day, Gabriel
Published: (2025)
by: Day, Gabriel
Published: (2025)
Convergence Laws for Extensions of First-Order Logic with Averaging
by: Adam-Day, Sam, et al.
Published: (2025)
by: Adam-Day, Sam, et al.
Published: (2025)
Iterated Priority Arguments in Descriptive Set Theory
by: Day, Adam, et al.
Published: (2022)
by: Day, Adam, et al.
Published: (2022)
Hausdorff dimension and countable Borel equivalence relations
by: Marks, Andrew, et al.
Published: (2024)
by: Marks, Andrew, et al.
Published: (2024)
Almost Surely Asymptotically Constant Graph Neural Networks
by: Adam-Day, Sam, et al.
Published: (2024)
by: Adam-Day, Sam, et al.
Published: (2024)
On a conjecture of Debs and Saint Raymond
by: Kwela, Adam
Published: (2021)
by: Kwela, Adam
Published: (2021)
The set-theoretic Kaufmann-Clote question
by: McKenzie, Zachiri
Published: (2025)
by: McKenzie, Zachiri
Published: (2025)
A categorical formulation of Kraus' paradox
by: Swan, Andrew W.
Published: (2024)
by: Swan, Andrew W.
Published: (2024)
Oracle modalities
by: Swan, Andrew W
Published: (2024)
by: Swan, Andrew W
Published: (2024)
Pointed lattice subreducts of varieties of residuated lattices
by: Přenosil, Adam
Published: (2023)
by: Přenosil, Adam
Published: (2023)
More on yet another ideal version of the bounding number
by: Kwela, Adam
Published: (2024)
by: Kwela, Adam
Published: (2024)
Levin's and Prucnal's theorems on Medvedev's logic of finite problems
by: Přenosil, Adam
Published: (2024)
by: Přenosil, Adam
Published: (2024)
Egorov ideals
by: Kwela, Adam
Published: (2023)
by: Kwela, Adam
Published: (2023)
Independence questions in a finite axiom-schematization of first-order logic
by: Jubin, Benoit
Published: (2022)
by: Jubin, Benoit
Published: (2022)
A minimal base or a direct base? That is the question!
by: Baixeries, Jaume, et al.
Published: (2024)
by: Baixeries, Jaume, et al.
Published: (2024)
Open questions about Ramsey-type statements in reverse mathematics
by: Patey, Ludovic
Published: (2015)
by: Patey, Ludovic
Published: (2015)
Sequent calculi for first-order ST
by: Paoli, Francesco, et al.
Published: (2026)
by: Paoli, Francesco, et al.
Published: (2026)
Duality for finitely valued algebras
by: Abbadini, Marco, et al.
Published: (2025)
by: Abbadini, Marco, et al.
Published: (2025)
Nagata products of bimodules over residuated lattices
by: Přenosil, Adam, et al.
Published: (2025)
by: Přenosil, Adam, et al.
Published: (2025)
On double-membership graphs of models of Anti-Foundation
by: Adam-Day, Bea, et al.
Published: (2019)
by: Adam-Day, Bea, et al.
Published: (2019)
Equational definitions of logical filters
by: Baldi, Michele Pra, et al.
Published: (2024)
by: Baldi, Michele Pra, et al.
Published: (2024)
Ketonen's question and other cardinal sins
by: Rinot, Assaf, et al.
Published: (2024)
by: Rinot, Assaf, et al.
Published: (2024)
Belief in Simplicial Complexes
by: Sink, Philip, et al.
Published: (2025)
by: Sink, Philip, et al.
Published: (2025)
A Note on Proper Relational Structures
by: Bjorndahl, Adam, et al.
Published: (2025)
by: Bjorndahl, Adam, et al.
Published: (2025)
Portus: Linking Alloy with SMT-based Finite Model Finding
by: Dancy, Ryan, et al.
Published: (2024)
by: Dancy, Ryan, et al.
Published: (2024)
Epistemic reflections on AI answering our questions: overwatch, erudite, logician, interlocutor
by: Hoorn, Johan F., et al.
Published: (2023)
by: Hoorn, Johan F., et al.
Published: (2023)
FC-Datalog as a Framework for Efficient String Querying
by: Bell, Owen M., et al.
Published: (2025)
by: Bell, Owen M., et al.
Published: (2025)
Cardinal characteristics associated with small subsets of reals
by: Cardona, Miguel A., et al.
Published: (2024)
by: Cardona, Miguel A., et al.
Published: (2024)
Three-Dimensional Affine Spatial Logics
by: Trybus, Adam
Published: (2026)
by: Trybus, Adam
Published: (2026)
P-measures in models without P-points
by: Borodulin-Nadzieja, Piotr, et al.
Published: (2024)
by: Borodulin-Nadzieja, Piotr, et al.
Published: (2024)
Equivalence of multiset-based consequence relations
by: Madanshekaf, Ali, et al.
Published: (2024)
by: Madanshekaf, Ali, et al.
Published: (2024)
Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
by: Bilotta, Antonella
Published: (2025)
by: Bilotta, Antonella
Published: (2025)
Intuitionistic modal logics: a minimal setting
by: Balbiani, Philippe, et al.
Published: (2025)
by: Balbiani, Philippe, et al.
Published: (2025)
Existential and positive games: a comonadic and axiomatic view
by: Abramsky, Samson, et al.
Published: (2025)
by: Abramsky, Samson, et al.
Published: (2025)
First-order Logic with Being a Thesis Modal Operator
by: Łyczak, Marcin
Published: (2024)
by: Łyczak, Marcin
Published: (2024)
A concrete model for a typed linear algebraic lambda calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2018)
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)
by: Bacci, Giorgio, et al.
Published: (2025)
On the structure of balanced residuated partially ordered monoids
by: Bonzio, Stefano, et al.
Published: (2024)
by: Bonzio, Stefano, et al.
Published: (2024)
Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
by: Liang, Xiaolong, et al.
Published: (2024)
by: Liang, Xiaolong, et al.
Published: (2024)
Relevant Consequence Relations: An Invitation
by: Badia, Guillermo, et al.
Published: (2022)
by: Badia, Guillermo, et al.
Published: (2022)