scientific article

zbMath0427.03020MaRDI QIDQ3863858

Jean-Claude Lablanquie

Publication date: 1979

Full work available at URL: http://www.numdam.org/item?id=ASCFM_1979__68_18_37_0

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

zbMATH Keywords

generic modelsconsistency properties

Mathematics Subject Classification ID

Model-theoretic forcing (03C25) Model theory of denumerable and separable structures (03C15) Other model constructions (03C30)

Cites Work

• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• A new look at the interpolation problem
• Boolean models and infinitary first order languages

This page was built for publication: