scientific article; zbMATH DE number 3745165

zbMATH Open0475.03042MaRDI QIDQ3931392FDOQ3931392

Authors: Anand Pillay 

Publication date: 1981

Title of this publication is not available (Why is that?)

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)