A realizability semantics for inductive formal topologies, church’s thesis and axiom of choice

Maietti, ME, Maschio, S and Rathjen, M (2021) A realizability semantics for inductive formal topologies, church’s thesis and axiom of choice. Logical Methods in Computer Science, 17 (2). 21:1-21:21. ISSN 1860-5974

Abstract

Metadata

Authors/Creators:
  • Maietti, ME
  • Maschio, S
  • Rathjen, M
Copyright, Publisher and Additional Information: © M. E. Maietti, S. Maschio, and M. Rathjen. This work is licensed under the Creative Commons Attribution License. To view a copy of this license, visit https://creativecommons.org/licenses/by/4.0/ or send a letter to Creative Commons, 171 Second St, Suite 300, San Francisco, CA 94105, USA, or Eisenacher Strasse 2, 10777 Berlin, Germany.
Keywords: Mathematics; Logic
Dates:
  • Published: 27 May 2021
  • Accepted: 17 February 2021
  • Published (online): 27 May 2021
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 24 Jun 2021 10:46
Last Modified: 24 Jun 2021 10:46
Status: Published
Publisher: Logical Methods in Computer Science
Identification Number: https://doi.org/10.23638/LMCS-17(2:21)2021

Download

Share / Export

Statistics