scientific article; zbMATH DE number 2167511

zbMATH Open1063.03016MaRDI QIDQ4677695

Vadim G. Puzarenko

Publication date: 12 May 2005

Full work available at URL: https://eudml.org/doc/188009

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

zbMATH Keywords

hereditarily finite superstructures\(\omega \)-logic

Mathematics Subject Classification ID

Properties of classes of models (03C52) Interpolation, preservation, definability (03C40)

Related Items (3)

Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Some model theory over hereditary Noetherian domains 👍 👎
• Numberings and definability in the hereditarily finite superstructure of a model 👍 👎
• \(\Sigma\)-definability in hereditarily finite superstructures and computable analysis 👍 👎
• The theory of finite models 👍 👎
• Hereditarily Finite Sets in Constructive Type Theory 👍 👎
• Hereditary undecidability of some theories of finite structures 👍 👎

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