scientific article
From MaRDI portal
Publication:3931392
zbMath0475.03042MaRDI QIDQ3931392
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
end extensionsinduction schemascollection schemasformalisation of satisfactionrepresentability of relations and functions
Nonstandard models of arithmetic (03H15) Models with special properties (saturated, rigid, etc.) (03C50) Ultraproducts and related constructions (03C20)
Related Items (3)
A simple dynamic logic ⋮ Embeddings of and into Nerode semirings ⋮ Sub-arithmetical ultrapowers: A survey
This page was built for publication:
