Copertina

Maximal Prikry Sequences

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Schimmerling, Ernest, Zhang, Jiaming
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

Sequence and Consequence
di: Dorr, Cian, et al.
Pubblicazione: (2024)

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

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

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

Hybrid Maximal Filter Spaces
di: Gonzalez, David
Pubblicazione: (2024)

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

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

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

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

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

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

Maximal Hardy Fields
di: Aschenbrenner, Matthias, et al.
Pubblicazione: (2023)

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

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

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

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

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

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

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

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

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

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

Loop Termination and Generalized Collatz Sequences
di: Carelli, Mishel
Pubblicazione: (2026)

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

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

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

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

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

A Dual-Threshold Probabilistic Knowing Value Logic
di: Wang, Shanxia
Pubblicazione: (2026)

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

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

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
di: Pacheco, Leonardo
Pubblicazione: (2026)