scientific article; zbMATH DE number 3745165

MaRDI QIDQ3931392zbMATH OpenFDO

Authors Anand Pillay

Publication date 1981

zbMATH Keywords

end extensionsinduction schemascollection schemasformalisation of satisfactionrepresentability of relations and functions

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Ultraproducts and related constructions (03C20) Nonstandard models of arithmetic (03H15)

Cited in

(3)

• Embeddings of and into Nerode semirings
• A simple dynamic logic
• Sub-arithmetical ultrapowers: A survey

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 Q3931392)