scientific article

From MaRDI portal

Publication:3698785

Jump to:navigation, search

zbMath0577.03017MaRDI QIDQ3698785

Michel Parigot

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

interpolation model existence type omission

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Other infinitary logic (03C75)

Related Items

Polish Group Actions and the Vaught Conjecture

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3698785&oldid=17187738"