:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Schimmerling, Ernest, Zhang, Jiaming
Formato:	Preprint
Publicado:	2026
Materias:	Logic
Acceso en línea:	https://arxiv.org/abs/2601.22643
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

Sequence and Consequence
por: Dorr, Cian, et al.
Publicado: (2024)

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

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

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

Hybrid Maximal Filter Spaces
por: Gonzalez, David
Publicado: (2024)

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

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

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

Maximal Hardy Fields
por: Aschenbrenner, Matthias, et al.
Publicado: (2023)

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

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

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

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

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

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

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

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

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

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

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

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

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

Loop Termination and Generalized Collatz Sequences
por: Carelli, Mishel
Publicado: (2026)

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

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

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

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

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

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

A Dual-Threshold Probabilistic Knowing Value Logic
por: Wang, Shanxia
Publicado: (2026)

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

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