Intuitionistic sets and ordinals

DOI10.2307/2275781zbMath0858.03058OpenAlexW2136604612MaRDI QIDQ5687312

No author found.

Publication date: 17 March 1997

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275781

zbMATH Keywords

setsfree algebratransitivityreplacementadjoint functortrichotomytoposessuccessor operationfixed point theorem for a monotone endofunction of a posetintuitionistic ordinalslower powerdomainMostowski's theoremordinals as order-typesplump ordinalsreflection of categories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Intuitionistic mathematics (03F55)

Related Items (10)

AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS ⋮ On Tarski’s fixed point theorem ⋮ Skew metrics valued in Sugihara semigroups ⋮ Well-founded recursion with copatterns and sized types ⋮ Type-theoretic approaches to ordinals ⋮ Unnamed Item ⋮ Recursive coalgebras from comonads ⋮ Unnamed Item ⋮ A Coalgebraic View of Bar Recursion and Bar Induction ⋮ On the Bourbaki–Witt principle in toposes

Uses Software

• PLUMP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on Russell's paradox in locally Cartesian closed categories
• The lack of definable witnesses and provably recursive functions in intuitionistic set theories
• A co-induction principle for recursively defined domains
• Categorical set theory: A characterization of the category of sets
• A lattice-theoretical fixpoint theorem and its applications
• Π12-logic, Part 1: Dilators
• A note on iterative arguments in a topos
• Extending Gödel's negative interpretation to ZF
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis

This page was built for publication: Intuitionistic sets and ordinals