A ghost at _1

DOI10.23638/LMCS-14(3:4)2018zbMATH Open1453.03062arXiv1612.09514MaRDI QIDQ4580326FDOQ4580326

Paul Blain Levy

Publication date: 15 August 2018

Full work available at URL: https://arxiv.org/abs/1612.09514

Recommendations

• On the final sequence of a finitary set functor
• On final coalgebras of power-set functors and saturated trees
• On strong chains of uncountable functions
• Power-set functors and saturated trees
• Some properties and some problems on set functors

Mathematics Subject Classification ID

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)

• Corecursion up-to via causal transformations
• A Minimal b Ghost

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)