:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Matsunaga, Takashi
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2508.17168
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

A concise proof of Commoner's theorem
by: Jancar, Petr
Published: (2024)

Spectral equivalences through nonstandard samplings
by: Nonez, Fabrice
Published: (2024)

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

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

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

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

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

A proof complexity conjecture and the Incompleteness theorem
by: Krajicek, Jan
Published: (2023)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Incompleteness theorems via Turing category
by: Savelyev, Yasha
Published: (2024)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by: Ayhan, Sara
Published: (2023)

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

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

Herbrand's Theorem: a short statement and a model-theoretic proof
by: Badano, Mariana
Published: (2025)

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

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

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

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