Defining general structures

DOI10.1305/NDJFL/1093882654zbMath0368.02051OpenAlexW2042937033MaRDI QIDQ1242913

Jack C. Boudreaux

Publication date: 1979

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093882654

zbMATH Keywords

HIGHER-ORDER STRUCTUREMINIMALLY RESTRICTED STRUCTURETYPE THEORY

Mathematics Subject Classification ID

Model theory (03C99)

Related Items (1)

On the algebraization of Henkin‐type second‐order logic

This page was built for publication: Defining general structures