Forcing in Finite Structures
From MaRDI portal
Publication:4351930
DOI10.1002/malq.19970430313zbMath0880.03020OpenAlexW2115500515MaRDI QIDQ4351930
Publication date: 11 January 1998
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19970430313
Model theory of finite structures (03C13) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Second- and higher-order arithmetic and fragments (03F35)
Related Items
Cites Work