Índice de contraejemplos

Índice del tratado

22 entradas verificadas contra capítulos y registro. Los números editoriales conducen al bloque exacto, conservando el ID estable.

Localizador	Resultado	ID estable
2.3.1	Conjuntos con acción de \(C_2\)	TF-CEX-00001
3.3.5	\(\mathbf{Pos}\) no posee clasificador de todos los monos	TF-CEX-00002
5.2.7	Una categoría regular sin elección regular	TF-CEX-00003
6.5.1	La continuidad puede impedir la extensión	TF-CEX-00004
6.5.2	Una función parcial computable sin extensión total computable	TF-CEX-00005
7.5.2	Un topos con un subobjeto no complementado	TF-CEX-00006
8.4.4	Un topos donde \(1\sqcup1\) no clasifica mapas parciales hacia \(1\)	TF-CEX-00007
9.1.6	El conjunto de parada no es decidible	TF-CEX-00008
9.2.3	Extensión total no implica dominio decidible	TF-CEX-00009
9.4.6	Un realizador computable no enumera necesariamente el dominio	TF-CEX-00010
10.3.4	Rice no prohíbe propiedades sintácticas decidibles	TF-CEX-00011
10.5.3	La igualdad de racionales no decide la de sus límites	TF-CEX-00012
11.2.3	Un epi sin levantamiento de un punto	TF-CEX-00013
12.2.3	Sin sobreyectividad sólo se excluye la subfamilia reindexada	TF-CEX-00014
12.3.3	La misma función puede tener códigos distintos	TF-CEX-00015
13.2.4	Una interpretación puede identificar constantes distintas	TF-CEX-00016
13.4.5	Totalidad interna sin selector externo	TF-CEX-00017
14.1.4	Plenitud y fidelidad sin equivalencia	TF-CEX-00018
14.3.4	Dos nombres biyectivos sin traductor computable	TF-CEX-00019
15.1.5	Biyectividad componente a componente sin naturalidad	TF-CEX-00020
15.3.3	En acciones de \(C_2\), el terminal no basta, pero una órbita libre sí	TF-CEX-00021
16.5.1	Densidad no significa que cada prehaz sea representable	TF-CEX-00022

← Anterior · Índice del tratado · Siguiente →