:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Schimmerling, Ernest, Zhang, Jiaming
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2601.22643
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On Cohen and Prikry Forcing Notions
by: Benhamou, Tom, et al.
Published: (2022)

On the Intermediate Models of Strongly Compact Prikry Forcing
by: Benhamou, Tom, et al.
Published: (2026)

On fresh sets in iterations of Prikry type forcing notions
by: Gitik, Moti, et al.
Published: (2024)

On the strength of ultrafilters above choiceless large cardinals and their Prikry forcings
by: Adkisson, William, et al.
Published: (2025)

The Galvin-Prikry Theorem in the Weihrauch lattice
by: Marcone, Alberto, et al.
Published: (2024)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
by: Lyon, Tim S.
Published: (2024)

Maximal towers and ultrafilter bases in computability
by: Lempp, Steffen, et al.
Published: (2021)

Ramsey Property and Pathological Sets: Almost Disjointness, Independence and Other Maximal Objects
by: He, Jialiang, et al.
Published: (2026)

Sequence and Consequence
by: Dorr, Cian, et al.
Published: (2024)

Maximal WAP and tame quotients of type spaces
by: Krupiński, Krzysztof, et al.
Published: (2025)

Maximal stable quotients of invariant types in NIP theories
by: Krupiński, Krzysztof, et al.
Published: (2023)

On the Asymptotic Behavior of Guessing Sequences
by: Benhamou, Tom, et al.
Published: (2026)

Hybrid Maximal Filter Spaces
by: Gonzalez, David
Published: (2024)

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
by: Quansah, Paapa Kwesi, et al.
Published: (2026)

Simple Homogeneous Structures and Indiscernible Sequence Invariants
by: Baldwin, John, et al.
Published: (2024)

Continuous Randomness via Transformations of 2-Random Sequences
by: Porter, Christopher P.
Published: (2024)

Maximal Hardy Fields
by: Aschenbrenner, Matthias, et al.
Published: (2023)

SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic
by: Quansah, Paapa Kwesi, et al.
Published: (2026)

An SMT Theory for n-Indexed Sequences
by: Hara, Hichem Rami Ait El, et al.
Published: (2024)

On SMT Theory Design: The Case of Sequences
by: Hara, Hichem Rami Ait El, et al.
Published: (2024)

Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
by: Phalakarn, Kittiphon, et al.
Published: (2025)

A Note On Square-free Sequences and Anti-unification Type
by: Cerna, David M.
Published: (2024)

Maximal eventually different families for uniformly weak Ramsey ideals
by: He, Jialiang, et al.
Published: (2024)

Maximal independent sets, variants of chain/antichain principle and cofinal subsets without AC
by: Banerjee, Amitayu
Published: (2020)

Abstractions of Sequences, Functions and Operators
by: Rustenholz, Louis, et al.
Published: (2025)

Ontology for Policing: Conceptual Knowledge Learning for Semantic Understanding and Reasoning in Law Enforcement Reports
by: Srbinovska, Anita, et al.
Published: (2026)

Arithmetical Complexity and Absoluteness of Rigidity Phenomena for Ulam Sequences
by: Gilson, Frank
Published: (2025)

The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters
by: Kenison, George
Published: (2022)

Notes on Interpretability between Weak First-order Theories: Theories of Sequences
by: Kristiansen, Lars, et al.
Published: (2024)

Material Interpretation and Constructive Analysis of Maximal Ideals in $\mathbb{Z}[X]$
by: Wiesnet, Franziskus
Published: (2025)

Loop Termination and Generalized Collatz Sequences
by: Carelli, Mishel
Published: (2026)

Dynamic Logic of Trust-Based Beliefs
by: Jiang, Junli, et al.
Published: (2025)

Hyperproperty-Constrained Secure Reinforcement Learning
by: Bonnah, Ernest, et al.
Published: (2025)

Generalized Decidability via Brouwer Trees
by: de Jong, Tom, et al.
Published: (2026)

Constructive higher sheaf models with applications to synthetic mathematics
by: Coquand, Thierry, et al.
Published: (2026)

Uniform interpolation with constructive diamond
by: van der Giessen, Iris, et al.
Published: (2026)

A Linear Temporal Logic of Frequencies on Series of Events
by: Antonelli, Melissa, et al.
Published: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
by: Wang, Shanxia
Published: (2026)

Refutation calculi for lattice-based logics: from display to tableaux
by: De Domenico, Andrea, et al.
Published: (2026)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
by: de Groot, Jim, et al.
Published: (2026)