ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS

DOI10.1017/JSL.2018.13zbMath1445.03072OpenAlexW2887585692WikidataQ129429772 ScholiaQ129429772MaRDI QIDQ4579809

Giovanni Curi

Publication date: 10 August 2018

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

Full work available at URL: https://doi.org/10.1017/jsl.2018.13

zbMATH Keywords

complete latticeTarski's fixed point theoreminductive definitionco-inductive definition

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Related Items (2)

Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice ⋮ On Small Types in Univalent Foundations

Cites Work

• Unnamed Item
• Topological inductive definitions
• Constructivism in mathematics. An introduction. Volume I
• Constructive versions of Tarski's fixed point theorems
• Aspects of general topology in constructive set theory
• Heyting-valued interpretations for constructive set theory
• A lattice-theoretical fixpoint theorem and its applications
• On Tarski’s fixed point theorem
• Constructive set theory
• The Relation Reflection Scheme

This page was built for publication: ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS