The following pages link to (Q4717366):
Displaying 21 items.
- Undirecting membership in models of anti-foundation (Q2662895) (← links)
- On Rational Monads and Free Iterative Theories (Q2842813) (← links)
- Conway Games, Coalgebraically (Q2888495) (← links)
- Equivalences and Congruences on Infinite Conway Games (Q2889179) (← links)
- Paradox, ZF, and the Axiom of Foundation (Q2909755) (← links)
- Conditional Epistemic Planning (Q2915062) (← links)
- A Co-inductive Language and Truth Degrees (Q3172837) (← links)
- At the Limits of Thought (Q3305681) (← links)
- THE ITERATIVE CONCEPTION OF SET (Q3580662) (← links)
- FO(FD): Extending classical logic with rule-based fixpoint definitions (Q3585169) (← links)
- Relatives of the Russell Paradox (Q4238427) (← links)
- From chaotic iteration to constraint propagation (Q4571938) (← links)
- A Coalgebraic View of Infinite Trees and Iteration (Q4917030) (← links)
- Non‐well‐founded extensions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\mathbf {V}$\end{document} (Q4928967) (← links)
- CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC (Q5000268) (← links)
- (Q5087788) (← links)
- A NEGLECTED RESOLUTION OF RUSSELL’S PARADOX OF PROPOSITIONS (Q5259726) (← links)
- Why Sets? (Q5452179) (← links)
- ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION (Q5884258) (← links)
- Is weak supplementation analytic? (Q6088917) (← links)
- Foundations of applied mathematics. I (Q6142492) (← links)
