Buchumschlag

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Abraham, Uri, Bonnet, Robert, Džamonja, Mirna, Pouzet, Maurice
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

MSO logic of the real order with the set quantifiers ranging over the Borel sets
von: Džamonja, Mirna
Veröffentlicht: (2025)

Property B: A Baumgartner-style Property that Applies to Preservation of $\aleph_1$ and $\aleph_2$ under Iterations with Supports of Size $\aleph_1$
von: Džamonja, Mirna
Veröffentlicht: (2025)

On maximal order type of the lexicographic product
von: Džamonja, Mirna, et al.
Veröffentlicht: (2024)

Iterating Generalised Perfect Set Forcing Along Well-Founded Orders
von: Džamonja, Mirna
Veröffentlicht: (2026)

On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders
von: Džamonja, Mirna, et al.
Veröffentlicht: (2017)

Note on the Splitting Property in Strongly Dense Posets of Size $\aleph_0$
von: Džamonja, Mirna
Veröffentlicht: (2026)

A note on iterating strongly $(<λ)$-closed stationary $λ^+$-cc forcing
von: Džamonja, Mirna
Veröffentlicht: (2026)

Decidability of Quasi-Dense Modal Logics
von: Ostropolski-Nalewaja, Piotr, et al.
Veröffentlicht: (2024)

Nested Sequents for Quasi-transitive Modal Logics
von: Marin, Sonia, et al.
Veröffentlicht: (2024)

Big Ramsey Degrees in Ultraproducts of Finite Structures
von: Bartošová, Dana, et al.
Veröffentlicht: (2022)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
von: Herbelin, Hugo
Veröffentlicht: (2024)

Unravelling Cyclic First-Order Arithmetic
von: Leigh, Graham E., et al.
Veröffentlicht: (2025)

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

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

Monadic Second-Order Logic of Permutations
von: Jelínek, Vít, et al.
Veröffentlicht: (2025)

Club guessing and the universal models
von: Džamonja, Mirna
Veröffentlicht: (2006)

On the cartesian product of well-orderings
von: Vialard, Isa
Veröffentlicht: (2022)

Comodule Representations of Second-Order Functionals
von: Ahman, Danel, et al.
Veröffentlicht: (2024)

A Conjecture for ATP Research
von: Bibel, Wolfgang
Veröffentlicht: (2024)

A simple formalization of alpha-equivalence
von: Apinis, Kalmer, et al.
Veröffentlicht: (2025)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
von: Bloch, Isabelle, et al.
Veröffentlicht: (2025)

Separability Properties of Monadically Dependent Graph Classes
von: Bonnet, Édouard, et al.
Veröffentlicht: (2025)

Introducing a nontrivial square_omega
von: Dolinar, Gregor K., et al.
Veröffentlicht: (2010)

On Bisimilarity for Quasi-discrete Closure Spaces
von: Ciancia, Vincenzo, et al.
Veröffentlicht: (2023)

The category of well-filtered dcpos is not $Γ$-faithful
von: Miao, Hualin, et al.
Veröffentlicht: (2024)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
von: Powell, Thomas
Veröffentlicht: (2023)

A linear proof language for second-order intuitionistic linear logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

Completions of Kleene's second model
von: Terwijn, Sebastiaan A.
Veröffentlicht: (2023)

Paraconsistent Existential Graphs Gamma Peirce System
von: Sierra-Aristizabal, Manuel
Veröffentlicht: (2023)

On matrix rank function over bounded arithmetics
von: Ken, Eitetsu, et al.
Veröffentlicht: (2023)

Proof-theoretic Semantics for the Logic of Bunched Implications
von: Gu, Tao, et al.
Veröffentlicht: (2023)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
von: Pshenitsyn, Tikhon
Veröffentlicht: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2023)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
von: Lyon, Tim S.
Veröffentlicht: (2023)

Deciding Equations in the Time Warp Algebra
von: van Gool, Sam, et al.
Veröffentlicht: (2023)

Cyclic Proofs for iGL via Corecursion
von: Miranda, Borja Sierra
Veröffentlicht: (2023)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
von: Lyon, Tim S., et al.
Veröffentlicht: (2023)

Universal Proof Theory, TACL 2022 Lecture Notes
von: Iemhoff, Rosalie, et al.
Veröffentlicht: (2023)

Complete representation by partial functions for signatures containing antidomain restriction
von: McLean, Brett
Veröffentlicht: (2023)