ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS

DOI10.1017/JSL.2018.13MaRDI QIDQ4579809zbMATH OpenOpenAlexWikidataFDO

Authors Giovanni Curi

Publication date 10 August 2018

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

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

zbMATH Keywords

Tarski's fixed point theoremcomplete latticeinductive definitionco-inductive definition

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 512790
• Inductive definitions over finite structures
• scientific article; zbMATH DE number 4023259
• Inductive-inductive definitions
• A fixedpoint approach to implementing (co)inductive definitions
• scientific article; zbMATH DE number 2247249
• A finite axiomatisation of inductive-inductive definitions
• scientific article; zbMATH DE number 4166886
• Inductive definitions over a predicative arithmetic

Cites work

• scientific article; zbMATH DE number 4012604 (Why is no real title available?)
• A lattice-theoretical fixpoint theorem and its applications
• Aspects of general topology in constructive set theory
• Constructive set theory
• Constructive versions of Tarski's fixed point theorems
• Constructivism in mathematics. An introduction. Volume I
• Heyting-valued interpretations for constructive set theory
• On Tarski’s fixed point theorem
• The Relation Reflection Scheme
• Topological inductive definitions

Cited in

(8)

• The Relation Reflection Scheme
• A fixedpoint approach to implementing (co)inductive definitions
• On Small Types in Univalent Foundations
• scientific article; zbMATH DE number 4166886 (Why is no real title available?)
• scientific article; zbMATH DE number 2247249 (Why is no real title available?)
• Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
• Non-deterministic inductive definitions
• On Tarski’s fixed point theorem

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4579809)