Imagen de Portada

A short nonstandard proof of the Doob-Meyer and Dol{é}ans-Dade theorems

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Matsunaga, Takashi
Formato:	Preprint
Publicado:	2025
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

A nonstandard proof of de Finetti's theorem
por: Alam, Irfan
Publicado: (2019)

A Short Nonstandard Proof of the Radon-Nikodym Theorem
por: Matsunaga, Takashi
Publicado: (2026)

Towards solid abelian groups: A formal proof of Nöbeling's theorem
por: Asgeirsson, Dagur
Publicado: (2023)

A concise proof of Commoner's theorem
por: Jancar, Petr
Publicado: (2024)

Spectral equivalences through nonstandard samplings
por: Nonez, Fabrice
Publicado: (2024)

An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem
por: Herbelin, Hugo, et al.
Publicado: (2024)

A completeness theorem in proof-theoretic semantics via set-theoretic semantics
por: Takemura, Ryo
Publicado: (2025)

A model theoretic proof for o-minimal coherence theorem
por: Fu, Yayi
Publicado: (2023)

A nonstandard approach to the direct integral version of the Spectral Theorem
por: Goldbring, Isaac, et al.
Publicado: (2025)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
por: Das, Anupam, et al.
Publicado: (2024)

A proof-theoretic approach to abstract interpretation
por: D'Silva, Vijay, et al.
Publicado: (2026)

Coalgebraic proof translations for non-wellfounded proofs
por: Miranda, Borja Sierra, et al.
Publicado: (2025)

A proof complexity conjecture and the Incompleteness theorem
por: Krajicek, Jan
Publicado: (2023)

Big Ramsey combinatorics of the Cantor set and a simple proof of Blass' perfect set theorem
por: Mašulović, Dragan
Publicado: (2026)

A logic of judgmental existence and its relation to proof irrelevance
por: Pezlar, Ivo
Publicado: (2024)

A proof theory of right-linear (omega-)grammars via cyclic proofs
por: Das, Anupam, et al.
Publicado: (2024)

A linear proof language for second-order intuitionistic linear logic
por: Díaz-Caro, Alejandro, et al.
Publicado: (2023)

Bijective proofs for Eulerian numbers of types B and D
por: Santocanale, Luigi
Publicado: (2021)

The proof theory and semantics of second-order (intuitionistic) tense logic
por: Becker, Justus, et al.
Publicado: (2026)

Wider systems for linear logic with fixed points: proof theory and complexity
por: Das, Anupam, et al.
Publicado: (2026)

A Cobham theorem for scalar multiplication
por: Hieronymi, Philipp, et al.
Publicado: (2024)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
por: d'Aragona, Antonio Piccolomini
Publicado: (2025)

An ecumenical view of proof-theoretic semantics
por: Nascimento, Victor, et al.
Publicado: (2023)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
por: Oda, Yukihiro, et al.
Publicado: (2021)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
por: Oda, Yukihiro
Publicado: (2025)

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
por: Oda, Yukihiro, et al.
Publicado: (2022)

A systematic way of analysing proofs in probability theory
por: Neri, Morenikeji, et al.
Publicado: (2026)

Algebraic proof theory for LE-logics
por: Greco, Giuseppe, et al.
Publicado: (2018)

Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
por: Kozhemiachenko, Daniil
Publicado: (2024)

Incompleteness theorems via Turing category
por: Savelyev, Yasha
Publicado: (2024)

Sundholm's explanation of meaning: logical atavism and the nature of proofs
por: d'Aragona, Antonio Piccolomini
Publicado: (2025)

Some results in non-monotonic proof-theoretic semantics
por: d'Aragona, Antonio Piccolomini
Publicado: (2025)

A short note on model theory of C((t))
por: Zhang, Zhentao
Publicado: (2025)

A proof-theoretic metatheorem for nonlinear semigroups generated by an accretive operator and applications
por: Pischke, Nicholas
Publicado: (2023)

A correspondence problem for mathematical proof
por: DeDeo, Simon, et al.
Publicado: (2026)

An abstract fixed-point theorem for Horn formula equations
por: Hetzl, Stefan, et al.
Publicado: (2025)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
por: Przybocki, Benjamin, et al.
Publicado: (2024)

A new ultrafilter proof of Van der Waerden's theorem
por: Di Nasso, Mauro
Publicado: (2026)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
por: Rooduijn, Jan, et al.
Publicado: (2024)