:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Day, Adam, Marks, Andrew
Format:	Preprint
Veröffentlicht:	2020
Schlagworte:	Logic
Online-Zugang:	https://arxiv.org/abs/2004.00174
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Results on Colored Tree Properties
von: Day, Gabriel
Veröffentlicht: (2025)

Convergence Laws for Extensions of First-Order Logic with Averaging
von: Adam-Day, Sam, et al.
Veröffentlicht: (2025)

Iterated Priority Arguments in Descriptive Set Theory
von: Day, Adam, et al.
Veröffentlicht: (2022)

Hausdorff dimension and countable Borel equivalence relations
von: Marks, Andrew, et al.
Veröffentlicht: (2024)

Almost Surely Asymptotically Constant Graph Neural Networks
von: Adam-Day, Sam, et al.
Veröffentlicht: (2024)

On a conjecture of Debs and Saint Raymond
von: Kwela, Adam
Veröffentlicht: (2021)

The set-theoretic Kaufmann-Clote question
von: McKenzie, Zachiri
Veröffentlicht: (2025)

A categorical formulation of Kraus' paradox
von: Swan, Andrew W.
Veröffentlicht: (2024)

Oracle modalities
von: Swan, Andrew W
Veröffentlicht: (2024)

Pointed lattice subreducts of varieties of residuated lattices
von: Přenosil, Adam
Veröffentlicht: (2023)

More on yet another ideal version of the bounding number
von: Kwela, Adam
Veröffentlicht: (2024)

Levin's and Prucnal's theorems on Medvedev's logic of finite problems
von: Přenosil, Adam
Veröffentlicht: (2024)

Egorov ideals
von: Kwela, Adam
Veröffentlicht: (2023)

Independence questions in a finite axiom-schematization of first-order logic
von: Jubin, Benoit
Veröffentlicht: (2022)

A minimal base or a direct base? That is the question!
von: Baixeries, Jaume, et al.
Veröffentlicht: (2024)

Open questions about Ramsey-type statements in reverse mathematics
von: Patey, Ludovic
Veröffentlicht: (2015)

Sequent calculi for first-order ST
von: Paoli, Francesco, et al.
Veröffentlicht: (2026)

Duality for finitely valued algebras
von: Abbadini, Marco, et al.
Veröffentlicht: (2025)

Nagata products of bimodules over residuated lattices
von: Přenosil, Adam, et al.
Veröffentlicht: (2025)

On double-membership graphs of models of Anti-Foundation
von: Adam-Day, Bea, et al.
Veröffentlicht: (2019)

Equational definitions of logical filters
von: Baldi, Michele Pra, et al.
Veröffentlicht: (2024)

Ketonen's question and other cardinal sins
von: Rinot, Assaf, et al.
Veröffentlicht: (2024)

Belief in Simplicial Complexes
von: Sink, Philip, et al.
Veröffentlicht: (2025)

A Note on Proper Relational Structures
von: Bjorndahl, Adam, et al.
Veröffentlicht: (2025)

Portus: Linking Alloy with SMT-based Finite Model Finding
von: Dancy, Ryan, et al.
Veröffentlicht: (2024)

Epistemic reflections on AI answering our questions: overwatch, erudite, logician, interlocutor
von: Hoorn, Johan F., et al.
Veröffentlicht: (2023)

FC-Datalog as a Framework for Efficient String Querying
von: Bell, Owen M., et al.
Veröffentlicht: (2025)

Cardinal characteristics associated with small subsets of reals
von: Cardona, Miguel A., et al.
Veröffentlicht: (2024)

Three-Dimensional Affine Spatial Logics
von: Trybus, Adam
Veröffentlicht: (2026)

P-measures in models without P-points
von: Borodulin-Nadzieja, Piotr, et al.
Veröffentlicht: (2024)

Equivalence of multiset-based consequence relations
von: Madanshekaf, Ali, et al.
Veröffentlicht: (2024)

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
von: Bilotta, Antonella
Veröffentlicht: (2025)

Intuitionistic modal logics: a minimal setting
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

Existential and positive games: a comonadic and axiomatic view
von: Abramsky, Samson, et al.
Veröffentlicht: (2025)

First-order Logic with Being a Thesis Modal Operator
von: Łyczak, Marcin
Veröffentlicht: (2024)

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

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
von: Bacci, Giorgio, et al.
Veröffentlicht: (2025)

On the structure of balanced residuated partially ordered monoids
von: Bonzio, Stefano, et al.
Veröffentlicht: (2024)

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

Relevant Consequence Relations: An Invitation
von: Badia, Guillermo, et al.
Veröffentlicht: (2022)