A Proof of Kamp's theorem
Logic in Computer Science
2015-07-01 v3 Logic
Authors:
Alexander Rabinovich
Abstract
We provide a simple proof of Kamp's theorem.
Cite
@article{arxiv.1401.2580,
title = {A Proof of Kamp's theorem},
author = {Alexander Rabinovich},
journal= {arXiv preprint arXiv:1401.2580},
year = {2015}
}
Related papers
View all related →
Dynamical Systems · Mathematics
A Simple Proof of Sharkovsky's Theorem
Bau-Sen Du
2007-05-23
General Mathematics · Mathematics
A manual proof of the Four-colour Theorem
Bin Shen
2018-07-09
History and Overview · Mathematics
Yet another elementary proof of Morley's theorem
Stéphane Peigné
2020-03-31
General Mathematics · Mathematics
Hasse theorem -- an elementary approach
Jianhua Chen, Debiao He, Zhijin Hu, Yitao Chen +1
2012-12-12
Functional Analysis · Mathematics
A simple case within Nash-Moser-Ekeland theory
Milen Ivanov, Nadia Zlateva
2024-08-05
History and Overview · Mathematics
A simple proof of Tong's theorem
Vyacheslav M. Abramov
2021-07-20
Logic · Mathematics
A new proof of a theorem of Jayne and Rogers
Luca Motto Ros, Brian Semmes
2011-12-07
Combinatorics · Mathematics
A short proof of Kneser's theorem via transversals
Luis Montejano
2021-09-16
History and Overview · Mathematics
An easily verifiable proof of the Brouwer fixed point theorem
Yukio Takeuchi, Tomonari Suzuki
2011-09-22
Combinatorics · Mathematics
A Counting Proof of the Graham Pollak Theorem
Sundar Vishwanathan
2011-01-14
General Mathematics · Mathematics
A Theorem of Probability
Masumi Nakajima
2011-12-19
Functional Analysis · Mathematics
A simple proof of the Lebesgue decomposition theorem
Tamás Titkos
2014-04-08
Complex Variables · Mathematics
A simple proof of the Fundamental Theorem of Algebra
Ricardo Pérez-Marco
2021-01-29
Combinatorics · Mathematics
A short proof of the Hilton-Milner Theorem
Denys Bulavka, Russ Woodroofe
2025-11-20
Metric Geometry · Mathematics
A new and simple proof of the false centre theorem
Luis Montejano, Efren Morales-Amaya
2021-10-28
Dynamical Systems · Mathematics
A simple proof of Bourgain's theorem on the singularity of the spectrum of Ornstein's maps
El Houcein El Abdalaoui
2015-09-01
Functional Analysis · Mathematics
Kelley's Theorem and Some Related Results
Gianluca Cassese
2019-09-24
Classical Physics · Physics
A truly elementary proof of Bertrand's theorem
Siu A. Chin
2015-06-23
Complex Variables · Mathematics
The Riemann mapping theorem from Riemann's viewpoint
Robert E. Greene, Kang-Tae Kim
2016-12-14
General Mathematics · Mathematics
Fermat's Last Theorem and its another Proof
YangGon Kim, SooGon Kim, BumSeok Jeon, SeungKon Kim +1
2021-10-13
Algebraic Geometry · Mathematics
The Kempf-Ness theorem and Invariant Theory
Ivan V. Losev
2007-05-23
Probability · Mathematics
A short proof of Cramer's theorem in R
Raphael Cerf, Pierre Petit
2013-11-18
Combinatorics · Mathematics
A simplified discharging proof of Gr\"otzsch theorem
Zdeněk Dvořák
2013-12-02
Combinatorics · Mathematics
Proof of Aharoni Berger Conjecture
Vladimir Blinovsky
2019-04-16
Mathematical Physics · Physics
A simple proof of Zeeman's theorem
Do-Hyung Kim
2013-11-12