scientific article; zbMATH DE number 3786752

MaRDI QIDQ3964543zbMATH OpenFDO

Authors Petr Hájek

Publication date 1981

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

zbMATH Keywords

extension of PAinfinite dyadic treethrifty model

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Cited in

(1)

• Duality, non-standard elements, and dynamic properties of r.e. sets

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