Randomising realizability (Q2117768)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Randomising realizability	scientific article

Statements

scholarly article

0 references

Randomising realizability (English)

0 references

0 references

Lorenzo Galeotti

0 references

Robert Paßmann

0 references

publication date

22 March 2022

0 references

full work available at URL

https://arxiv.org/abs/2101.12656

0 references

MaRDI profile type

MaRDI publication profile

0 references

Algorithmic Randomness and Complexity

0 references

0 references

On the interpretation of intuitionistic number theory

0 references

Descriptive set theory

0 references

Recursive Functions and Intuitionistic Number Theory

0 references

Realizability: a historical essay

0 references

Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard

0 references

Identifiers

10.1007/978-3-030-80049-9_8

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2117768

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2117768&oldid=36781244"