Cover Image

Ordinal measures of the set of finite multisets

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Vialard, Isa
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science Combinatorics Logic O3, 05 F.3.0
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the cartesian product of well-orderings
by: Vialard, Isa
Published: (2022)

Algebraic Proof Theory for Infinitary Action Logic
by: Fussner, Wesley, et al.
Published: (2025)

Data quality dimensions for fair AI
by: Quaresmini, Camilla, et al.
Published: (2023)

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning
by: Galmiche, Didier, et al.
Published: (2024)

The syntactic side of autonomous categories enriched over generalised metric spaces
by: Dahlqvist, Fredrik, et al.
Published: (2022)

OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs
by: Perháč, Ján, et al.
Published: (2025)

A Complete V-Equational System for Graded lambda-Calculus
by: Dahlqvist, Fredrik, et al.
Published: (2023)

Different Theories of Parts
by: Pietruszczak, Andrzej
Published: (2024)

More on the indivisibility of $\mathbb{Q}$
by: Pauly, Arno
Published: (2024)

A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
by: Piedeleu, Robin, et al.
Published: (2024)

Intrinsically Correct Sorting in Cubical Agda
by: Alexandru, Cass, et al.
Published: (2024)

Embeddability of graphs and Weihrauch degrees
by: Cipriani, Vittorio, et al.
Published: (2023)

Deciding the Value of Two-Clock Almost Non-Zeno Weighted Timed Games
by: Vialard, Isa
Published: (2025)

A Note on the NP-Hardness of PARTITION Via First-Order Projections
by: Iturralde, Paúl Risco
Published: (2025)

The strength of Ramsey's theorem for $α$-large sets
by: Carlucci, Lorenzo, et al.
Published: (2026)

Towards the type safety of Pure Subtype Systems (Full version)
by: Pasquale, Valentin, et al.
Published: (2024)

Semantics out of context: nominal absolute denotations for first-order logic and computation
by: Gabbay, Murdoch J.
Published: (2013)

A Sequent Calculus Perspective on Base-Extension Semantics (Technical Report)
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

Ranking Functions for Linear-Constraint Loops
by: Ben-Amram, Amir M., et al.
Published: (2012)

Loops, Inverse Limits and Non-Determinism
by: Brattka, Vasco
Published: (2025)

A Type Theory for Probabilistic and Bayesian Reasoning
by: Adams, Robin, et al.
Published: (2015)

The Solver's Paradox in Formal Problem Spaces
by: Rosko, Milan
Published: (2025)

An Adequate While-Language for Stochastic Hybrid Computation
by: Neves, Renato, et al.
Published: (2025)

Partial Typing for Asynchronous Multiparty Sessions
by: Barbanera, Franco, et al.
Published: (2024)

The strength of Ramsey Theorem for coloring relatively large sets
by: Carlucci, Lorenzo, et al.
Published: (2012)

Bilateralism with incompatible proofs and refutations
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

Serial Properties, Selector Proofs, and the Provability of Consistency
by: Artemov, Sergei
Published: (2024)

Non-Compact Proofs
by: Artemov, Sergei
Published: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
by: Artemov, Sergei
Published: (2025)

The Fractal Logic of Phi-adic Recursion
by: Rosko, Milan
Published: (2025)

On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders
by: Džamonja, Mirna, et al.
Published: (2017)

Nominal Sets in Rocq
by: Paranhos, Fabrício Sanches, et al.
Published: (2025)

The Lambda Calculus is Quantifiable
by: Maestracci, Valentin, et al.
Published: (2024)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

Symmetries in Sorting
by: Choudhury, Vikraman, et al.
Published: (2025)

The reverse mathematics of the pigeonhole hierarchy
by: Houérou, Quentin Le, et al.
Published: (2024)

Lower Bounds on Inverse Cellular Automata via Proof Complexity
by: Kapytka, Maryia
Published: (2026)

Trocq: Proof Transfer for Free, With or Without Univalence
by: Cohen, Cyril, et al.
Published: (2023)

Relation-Algebraic Verification of Disjoint-Set Forests
by: Guttmann, Walter
Published: (2023)

Safety, Relative Tightness and the Probabilistic Frame Rule
by: Jereb, Janez Ignacij, et al.
Published: (2025)