Pages that link to "Item:Q1825947"
From MaRDI portal
The following pages link to On natural number objects, finiteness and Kripke-Platek models in toposes (Q1825947):
Displaying 4 items.
- Natural numbers and natural cardinals as abstract objects: A partial reconstruction of Frege's \textit{Grundgesetze} in object theory (Q1961929) (← links)
- (Q3491548) (← links)
- Counting measure for Kuratowski finite parts and decidability (Q3994020) (← links)
- Every Elementary Higher Topos has a Natural Number Object (Q5858943) (← links)