Encoding of pseudoboolean models for infinitary nonclassical logic of transfinite order

DOI10.1007/BF00971158MaRDI QIDQ749525zbMATH OpenFDO

Authors Ants Tauts

Publication date 1990

Published in Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00971158

zbMATH Keywords

proper classespseudo-Boolean algebratheory of typestransfinite expressions

Mathematics Subject Classification ID

Other infinitary logic (03C75) Second- and higher-order model theory (03C85)

Review text

See the review in Zbl 0704.03020.

Cited in

(1)

• Asymptotic behavior of semiclassical polynomials of joint orthogonality of Bessel type

This page was built for publication: Encoding of pseudoboolean models for infinitary nonclassical logic of transfinite order

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q749525)