Hannes Diener ; Matthew Hendtlass - The Third Trick

lmcs:4255 - Logical Methods in Computer Science, August 9, 2022, Volume 18, Issue 3 - https://doi.org/10.46298/lmcs-18(3:21)2022
The Third TrickArticle

Authors: Hannes Diener ; Matthew Hendtlass

We prove a result, similar to the ones known as Ishihara's First and Second Trick, for sequences of functions.


Volume: Volume 18, Issue 3
Published on: August 9, 2022
Accepted on: February 27, 2022
Submitted on: January 31, 2018
Keywords: Mathematics - Logic, 03F60

Consultation statistics

This page has been seen 2476 times.
This article's PDF has been downloaded 729 times.