in ``Handbook of Mathematical Logic (1995)

by R Virga