ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS
DOI10.1017/JSL.2018.13zbMATH Open1445.03072OpenAlexW2887585692WikidataQ129429772 ScholiaQ129429772MaRDI QIDQ4579809FDOQ4579809
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
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
- Inductive definitions over a predicative arithmetic
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)
Cites Work
- Constructivism in mathematics. An introduction. Volume I
- Constructive versions of Tarski's fixed point theorems
- A lattice-theoretical fixpoint theorem and its applications
- Constructive set theory
- Title not available (Why is that?)
- Aspects of general topology in constructive set theory
- Heyting-valued interpretations for constructive set theory
- Topological inductive definitions
- On Tarski’s fixed point theorem
- The Relation Reflection Scheme
Cited In (6)
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)
