Copertina

Algorithmic randomness in harmonic analysis

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Franklin, Johanna N. Y., Rodriguez, Lucas E., Rojas, Diego A.
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic Logic in Computer Science 03D32, 42A20, 31B05
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Logics of False Belief and Radical Ignorance
di: Fan, Jie
Pubblicazione: (2024)

Introenumerability, autoreducibility, and randomness
di: Li, Ang
Pubblicazione: (2024)

Definability of complex functions in o-minimal structures
di: Padgett, Adele, et al.
Pubblicazione: (2025)

Apartness relations between propositions
di: Kocsis, Zoltan A.
Pubblicazione: (2022)

Evaluation trees for proposition algebra
di: Bergstra, Jan A., et al.
Pubblicazione: (2015)

Natural Term Logic
di: Protin, Clarence
Pubblicazione: (2024)

Effective weak convergence and tightness of measures in computable Polish spaces
di: Rojas, Diego A.
Pubblicazione: (2024)

Algorithmic Randomness, Effective Disintegrations, and Rates of Convergence to the Truth
di: Huttegger, Simon M., et al.
Pubblicazione: (2024)

Theoremizing Yablo's Paradox
di: Karimi, Ahmad, et al.
Pubblicazione: (2014)

Conjunctive categorial grammars and Lambek grammars with additives
di: Kuznetsov, Stepan L., et al.
Pubblicazione: (2024)

Coexact completion of profinite Heyting algebras and uniform interpolation
di: Ye, Lingyuan
Pubblicazione: (2026)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
di: Ramos, Arthur, et al.
Pubblicazione: (2025)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
di: Rahnama, Moses
Pubblicazione: (2025)

$m$-Rigidity and Finite-One Degrees Inside Typical Many-One Degrees
di: Cintioli, Patrizio
Pubblicazione: (2026)

Node Replication: Theory And Practice
di: Kesner, Delia, et al.
Pubblicazione: (2022)

Internal Effectful Forcing in System T
di: Escardo, Martin H., et al.
Pubblicazione: (2025)

An explicit Kuznetsov-Muravitsky enrichment
di: Jibladze, Mamuka, et al.
Pubblicazione: (2024)

Belief in Simplicial Complexes
di: Sink, Philip, et al.
Pubblicazione: (2025)

A Note on Proper Relational Structures
di: Bjorndahl, Adam, et al.
Pubblicazione: (2025)

Qualitative reasoning in a two-layered framework
di: Bilkova, Marta, et al.
Pubblicazione: (2022)

Ramsey-like theorems for separable permutations
di: Houérou, Quentin Le, et al.
Pubblicazione: (2025)

Intuitionistic Common Knowledge
di: Zenger, Lukas
Pubblicazione: (2026)

Modal Exchangeability: Centered Symmetry and the Credal Architecture of Kripke Frames
di: Zantedeschi, Daniel
Pubblicazione: (2026)

Completeness and Well-Definability of a Provability Degree Measure in Sufficiently Powerful Formal Systems, and Finite-Time Effective Knowers
di: Bahl, Rohan
Pubblicazione: (2024)

Revisiting Interpolation in Relevant Logics
di: Fussner, Wesley, et al.
Pubblicazione: (2025)

Possibility Frames and Forcing for Modal Logic
di: Holliday, Wesley H.
Pubblicazione: (2025)

Algorithmic correspondence and analytic rules
di: De Domenico, Andrea, et al.
Pubblicazione: (2022)

Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
di: Inoué, Takao, et al.
Pubblicazione: (2024)

Possibility Semantics
di: Holliday, Wesley H.
Pubblicazione: (2024)

Finitely Bounded Homogeneity Turned Inside-Out
di: Rydval, Jakub
Pubblicazione: (2021)

Justification Logics in a Fuzzy Setting
di: Ghari, Meghdad
Pubblicazione: (2014)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
di: Ghari, Meghdad
Pubblicazione: (2014)

A simplified lower bound for implicational logic
di: Jeřábek, Emil
Pubblicazione: (2023)

Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment
di: Coniglio, Marcelo E., et al.
Pubblicazione: (2024)

Information vs Dimension -- an Algorithmic Perspective
di: Reimann, Jan
Pubblicazione: (2024)

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

Proof-theoretic methods in quantifier-free definability
di: Kocsis, Zoltan A.
Pubblicazione: (2023)

On the Hausdorff dimension of maximal chains and antichains of Turing and Hyperarithmetic degrees
di: Song, Sirun, et al.
Pubblicazione: (2025)

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

Constructive validity of a generalized Kreisel-Putnam rule
di: Pezlar, Ivo
Pubblicazione: (2023)