On the Realizability of Prime Conjectures in Heyting Arithmetic

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Rosko, Milan
Formato:	Preprint
Publicado:	2025
Materias:	Logic Logic in Computer Science 03F55 (primary), 03F03, 11A41, 68Q05, 11U05 (secondary) F.4.1; F.1.1; F.3.2; G.1.0; G.2.1
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet

https://arxiv.org/abs/2511.07774