A ghost at _1

DOI10.23638/LMCS-14(3:4)2018MaRDI QIDQ4580326zbMATH OpenFDO

Authors Paul Blain Levy

Publication date 15 August 2018

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

Mathematics Subject Classification ID

Categories of sets, characterizations (18B05) Applications of set theory (03E75) Special properties of functors (faithful, full, etc.) (18A22)

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

Cites work

• scientific article; zbMATH DE number 4164821 (Why is no real title available?)
• scientific article; zbMATH DE number 3990852 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 3458870 (Why is no real title available?)
• scientific article; zbMATH DE number 3482548 (Why is no real title available?)
• scientific article; zbMATH DE number 1107504 (Why is no real title available?)
• scientific article; zbMATH DE number 3402625 (Why is no real title available?)
• A Cook's tour of the finitary non-well-founded sets
• A model of countable nondeterminism in guarded type theory
• Aronszajn trees and the independence of the transfer property
• Characteristic formulae for fixed-point semantics: a general framework
• Corecursive algebras: a study of general structured corecursion
• First steps in synthetic guarded domain theory: step-indexing in the topos of trees
• Initial algebras and terminal coalgebras in many-sorted sets
• On Inverse Systems with Trivial Limits
• On final coalgebras of power-set functors and saturated trees
• On the greatest fixed point of a set functor
• Stone coalgebras
• Sur un problème de Sikorski
• Terminal coalgebras in well-founded set theory

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)