Pages that link to "Item:Q5412187"
From MaRDI portal
The following pages link to Objetos K-finitos decidibles y cardinales finitos en un topos arbitrario (Q5412187):
Displaying 8 items.
- Finite objects in a locos (Q678844) (← links)
- An exact coexact characterization of the finite cardinals (Q1087631) (← links)
- Decidability and confluence of \(\beta\eta\text{top}_ \leqslant\) reduction in \({\mathbb{F}}_ \leqslant\) (Q1322474) (← links)
- On natural number objects, finiteness and Kripke-Platek models in toposes (Q1825947) (← links)
- (Q3769069) (← links)
- (Q3798833) (← links)
- Counting measure for Kuratowski finite parts and decidability (Q3994020) (← links)
- THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES (Q4647119) (← links)