Fernando Ferreira. On End-Extensions of Models of ¬exp. Math. Log. Q., 42:1-18, 1996.
@article{Ferreira96:1, title = {On End-Extensions of Models of ¬exp}, author = {Fernando Ferreira}, year = {1996}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/Ferreira96%3A1}, cites = {0}, citedby = {0}, journal = {Math. Log. Q.}, volume = {42}, pages = {1-18}, }