Countable inductive definitions in AST

Athanossios Tzouvaras

Commentationes Mathematicae Universitatis Carolinae (1986)

  • Volume: 027, Issue: 1, page 17-33
  • ISSN: 0010-2628

How to cite

top

Tzouvaras, Athanossios. "Countable inductive definitions in AST." Commentationes Mathematicae Universitatis Carolinae 027.1 (1986): 17-33. <http://eudml.org/doc/17436>.

@article{Tzouvaras1986,
author = {Tzouvaras, Athanossios},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {fixed point; inductive class; inductive definitions; alternative set theory; positive formulas},
language = {eng},
number = {1},
pages = {17-33},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Countable inductive definitions in AST},
url = {http://eudml.org/doc/17436},
volume = {027},
year = {1986},
}

TY - JOUR
AU - Tzouvaras, Athanossios
TI - Countable inductive definitions in AST
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1986
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 027
IS - 1
SP - 17
EP - 33
LA - eng
KW - fixed point; inductive class; inductive definitions; alternative set theory; positive formulas
UR - http://eudml.org/doc/17436
ER -

NotesEmbed ?

top

You must be logged in to post comments.