Forcing formulas in Fraïssé structures and classes

DOI10.1007/s10469-018-9509-2zbMath1485.03088OpenAlexW2903202578MaRDI QIDQ1731322

A. T. Nurtazin

Publication date: 13 March 2019

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-018-9509-2

zbMATH Keywords

forcing methodFraïssé classexistentially closed structureexistentially closed companionforcing structureforcing type

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Model-theoretic forcing (03C25)

Related Items (1)

A.D. Taimanov and model theory in Kazakhstan

Cites Work

• Properties of existentially closed companions
• Countable infinite existentially closed models of universally axiomatizable theories
• Completing theories by forcing
• Unnamed Item
• Unnamed Item

This page was built for publication: Forcing formulas in Fraïssé structures and classes