Advanced search

Browse by subject

Browse by provider

Browse by language

Content Details
Normal View
CIP View

Characterizing partitioned assemblies an...

Frey, Jonas...

Free

Share this content

Characterizing partitioned assemblies and realizability toposes by Frey, Jonas ( Author )

Content Provider	Lemonjar Open Access
Publisher	Australian National University
Publication Date	01-09-2023
Summary	We give simple characterizations of the category PAsm(A) of partitioned assemblies, and of the realizability topos RT(A) over a partial combinatory algebra A. This answers the question for an 'extensional characterization' of realizability toposes.
ISBN	-
Item Type	Article
File Type	pdf
File Size	29.34 KB
Language	English
Subjects	-
Unlimited	MYR 0.01
Total read	-
URL	http://arxiv.org/abs/1404.6997

Citation

Review the full bibliography data and make any necessary corrections before using. Always consult your library resources for the exact formatting and punctuation guidelines.

AMA 11th EditionReferences

Frey, Jonas. Characterizing partitioned assemblies and realizability toposes. Australian National University. September 01, 2023. Accessed November 13, 2024. https://online.provdatabase.com/cite/23380

APA 7th EditionReferences

Frey, Jonas. (2023). Characterizing partitioned assemblies and realizability toposes. Australian National University. https://online.provdatabase.com/cite/23380

Chicago 17th EditionReferences

Frey, Jonas. Characterizing partitioned assemblies and realizability toposes. Australian National University. 2023. https://online.provdatabase.com/cite/23380

HarvardReferences

Frey, Jonas. (2023). Characterizing partitioned assemblies and realizability toposes. [Online]. Australian National University. Available from: https://online.provdatabase.com/cite/23380. (Accessed 13 November 2024).

Harvard AustraliaReferences

Frey, Jonas, 2023, Characterizing partitioned assemblies and realizability toposes, Australian National University, viewed 13 November 2024, <https://online.provdatabase.com/cite/23380>

MLA 9th EditionWorks Cited

Frey, Jonas. Characterizing partitioned assemblies and realizability toposes. Australian National University, 2023. PROV Database, https://online.provdatabase.com/cite/23380.

Share this eBook