scientific article; zbMATH DE number 3360158
From MaRDI portal
Publication:5633987
Cited in
(7)- The forcing companions of number theories
- Robinson forcing is not absolute
- Model-companions and definability in existentially complete structures
- On partial disjunction properties of theories containing Peano arithmetic
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
- Abraham Robinson, 1918-1974
- Siblings of an \(\aleph_0\)-categorical relational structure
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5633987)
