Definability of models by means of existential formulas without identity

DOI10.2307/2275213zbMath0780.03017OpenAlexW2015723038MaRDI QIDQ3138006

Paweł Pazdyka

Publication date: 24 October 1993

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275213

zbMATH Keywords

coding schemeexistential formulassubquantifier formulas

Mathematics Subject Classification ID

Other classical first-order model theory (03C68)

Related Items (1)

Undecidable fragments of elementary theories

Cites Work

• Interpretierbarkeit in der Gruppentheorie
• On a Reconstruction of Models with Only One Binary Relation
• On A Reconstruction of Models in Models with Only One Binary Relation: A Correction
• Unnamed Item

This page was built for publication: Definability of models by means of existential formulas without identity