Back and Forth in Positive Logic

DOI10.1007/978-3-030-94452-0_31OpenAlexW4320151463MaRDI QIDQ6075163

Bruno Poizat, Aibat Rafhatovich Yeshkeyev

Publication date: 20 September 2023

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-94452-0_31

zbMATH Keywords

model theorylocal homomorphismspositive logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 19th century (01A55) Quantifier elimination, model completeness, and related topics (03C10) History of Chinese mathematics (01A25) General logic (03Bxx) Abstract elementary classes and related topics (03C48) Abstract model theory (03C95)

Cites Work

• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Model theory
• Positive Jonsson theories
• An application of games to the completeness problem for formalized theories
• Fondements de la logique positive
• Unnamed Item

This page was built for publication: Back and Forth in Positive Logic