Copertina

A Short Nonstandard Proof of the Radon-Nikodym Theorem

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Matsunaga, Takashi
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A short nonstandard proof of the Spectral Theorem for unbounded self-adjoint operators
di: Matsunaga, Takashi
Pubblicazione: (2024)

A short nonstandard proof of the Doob-Meyer and Dol{é}ans-Dade theorems
di: Matsunaga, Takashi
Pubblicazione: (2025)

An Information Theoretic Proof of the Radon-Nikodym Theorem
di: Harremoës, Peter
Pubblicazione: (2026)

Proofs for Folklore Theorems on the Radon-Nikodym Derivative
di: Bermudez, Yaiza, et al.
Pubblicazione: (2025)

The Radon--Nikodym topography of acyclic measured graphs
di: Tserunyan, Anush, et al.
Pubblicazione: (2025)

Stateful Realizers for Nonstandard Analysis
di: Dinis, Bruno, et al.
Pubblicazione: (2022)

On the validity of the Radon-Nikodym Theorem
di: Roselli, Paolo, et al.
Pubblicazione: (2025)

Nonstandard analysis of asymptotic points of expansive systems
di: Artigue, Alfonso, et al.
Pubblicazione: (2024)

Generating Theorems by Generating Proof Structures
di: Wernhard, Christoph
Pubblicazione: (2026)

Oscillating and nonsummable Radon-Nikodym cocycles along the forward geodesic of measure-class-preserving transformations
di: Bell, Sasha, et al.
Pubblicazione: (2024)

Multi-level Nonstandard Analysis and the Axiom of Choice
di: Hrbacek, Karel
Pubblicazione: (2024)

Lean on Vampire Proofs (Short Paper)
di: Bodingbauer, Jonas, et al.
Pubblicazione: (2026)

Courcelle's Theorem: A Self-Contained Proof and a Path-Width Variant
di: Rettich, Adrian
Pubblicazione: (2024)

The Nikodym and Grothendieck properties of Boolean algebras and rings related to ideals
di: Sobota, Damian, et al.
Pubblicazione: (2025)

Proofs that Modify Proofs, 1/2
di: Towsner, Henry
Pubblicazione: (2025)

Construction under Martin's axiom of a Boolean algebra with the Grothendieck property but without the Nikodym property
di: Sobota, Damian, et al.
Pubblicazione: (2023)

Nonstandard Universes
di: Ouwehand, Peter
Pubblicazione: (2025)

The Axiom-Based Atlas: A Structural Mapping of Theorems via Foundational Proof Vectors
di: Yoo, Harim
Pubblicazione: (2025)

Proofs that Modify Proofs
di: Towsner, Henry
Pubblicazione: (2024)

A Proof of the Schröder-Bernstein Theorem in ACL2
di: Jurgensen, Grant
Pubblicazione: (2025)

Proof Recommendation System for the HOL4 Theorem Prover
di: Dekhil, Nour, et al.
Pubblicazione: (2024)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
di: Livson, Ori, et al.
Pubblicazione: (2025)

The Proof Analysis Problem
di: Arteche, Noel, et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for Second-order Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for the Logic of Bunched Implications
di: Gu, Tao, et al.
Pubblicazione: (2023)

Proof-theoretic Semantics for First-order Logic
di: Gheorghiu, Alexander V.
Pubblicazione: (2024)

Cyclic Proofs for iGL via Corecursion
di: Miranda, Borja Sierra
Pubblicazione: (2023)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

Formal Analysis of the Sigmoid Function and Formal Proof of the Universal Approximation Theorem
di: Bryant, Dustin, et al.
Pubblicazione: (2025)

Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs
di: Yin, David, et al.
Pubblicazione: (2025)

Finding Bugs in Short Proofs: The Metamathematics of Resolution Lower Bounds
di: Li, Jiawei, et al.
Pubblicazione: (2024)

Fixed Point Theorems in Computability Theory
di: Terwijn, Sebastiaan A.
Pubblicazione: (2024)

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
di: Thakur, Amitayush, et al.
Pubblicazione: (2025)

Proof-Theoretic Functional Completeness for the Connexive Logic C
di: Ayhan, Sara, et al.
Pubblicazione: (2025)

Proof Theory and Decision Procedures for Deontic STIT Logics
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

Universal Proof Theory, TACL 2022 Lecture Notes
di: Iemhoff, Rosalie, et al.
Pubblicazione: (2023)

Proof Complexity of Linear Logics
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2026)

An Introduction to Categorical Proof Theory
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)

Categorical Proof-Theoretic Semantics
di: Pym, David, et al.
Pubblicazione: (2023)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
di: Hermes, Marc, et al.
Pubblicazione: (2023)