A ghost at _1
From MaRDI portal
Publication:4580326
DOI10.23638/LMCS-14(3:4)2018zbMATH Open1453.03062arXiv1612.09514MaRDI QIDQ4580326FDOQ4580326
Publication date: 15 August 2018
Full work available at URL: https://arxiv.org/abs/1612.09514
Recommendations
Categories of sets, characterizations (18B05) Applications of set theory (03E75) Special properties of functors (faithful, full, etc.) (18A22)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Stone coalgebras
- On Inverse Systems with Trivial Limits
- Terminal coalgebras in well-founded set theory
- On final coalgebras of power-set functors and saturated trees
- Initial algebras and terminal coalgebras in many-sorted sets
- Title not available (Why is that?)
- Aronszajn trees and the independence of the transfer property
- Sur un problème de Sikorski
- Title not available (Why is that?)
- A Cook's Tour of the Finitary Non-Well-Founded Sets
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the greatest fixed point of a set functor
- Title not available (Why is that?)
- First steps in synthetic guarded domain theory: step-indexing in the topos of trees
- A Model of Countable Nondeterminism in Guarded Type Theory
- Corecursive algebras: a study of general structured corecursion
- Characteristic formulae for fixed-point semantics: a general framework
Cited In (2)
This page was built for publication: A ghost at \(\omega_1\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4580326)