An intuitionistic version of Ramsey's theorem and its use in program termination
type: Item
instance of: scholarly article
title: An intuitionistic version of Ramsey's theorem and its use in program termination
zbMATH Open document ID: 1378.03050
author: Stefano Berardi
author: Silvia Steila
published in: Annals of Pure and Applied Logic
publication date: 2015-09-29T00:00:00Z
Mathematics Subject Classification ID: 03F55
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 05D10
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 6487142
zbMATH Keywords: intuitionism
zbMATH Keywords: Ramsey's theorem
zbMATH Keywords: inductive definitions
zbMATH Keywords: termination of while-programs
MaRDI profile type: Publication
full work available at URL: j.apal.2015.08.002
OpenAlex ID: W1138927884
cites work: Q4281462
cites work: Q3035275
cites work: Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic
cites work: Ramsey Theorem as an Intuitionistic Property of Well Founded Relations
cites work: Q5591514
cites work: Static Analysis
cites work: Q4179016
cites work: Omega-termination is undecidable for totally terminating term rewriting systems
cites work: Q3618853
cites work: Ramsey's theorem and recursion theory
cites work: Ramsey's theorem for pairs and provably recursive functions
cites work: The size-change principle for program termination
cites work: Q5638283
cites work: Q5638282
cites work: A constructive interpretation of Ramsey's theorem via the product of selection functions
cites work: Q3907077
cites work: Constructing recursion operators in intuitionistic type theory
cites work: Transition Invariants and Transition Predicate Abstraction for Program Termination
cites work: An Intuitionistic Analysis of Size-change Termination
cites work: Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics
cites work: Stop When You Are Almost-Full
DOI: 10.1016/J.APAL.2015.08.002
description: scientific article; zbMATH DE number 6487142