On sets ∀-definable from Pfaffian functions

DOI10.2307/2275301MaRDI QIDQ4032652zbMATH OpenOpenAlexFDO

Authors Ricardo Bianconi

Publication date 1 April 1993

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275301

zbMATH Keywords

connected componentsdefinable setPfaffian functionslanguage of ordered rings

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Models of other mathematical theories (03C65) Interpolation, preservation, definability (03C40)

Recommendations

• scientific article; zbMATH DE number 1984323
• Frontier and closure of a semi-Pfaffian set
• Effective cylindrical cell decompositions for restricted sub-Pfaffian sets
• Zero sets of smooth functions in the Pfaffian closure of an o-minimal structure
• Homology of semi-pfaffian sets

Cited in

(4)

• scientific article; zbMATH DE number 1936755 (Why is no real title available?)
• Classifying the Provably Total Functions of PA
• Relative Pfaffian closure for definably complete Baire structures
• scientific article; zbMATH DE number 222237 (Why is no real title available?)

This page was built for publication: On sets ∀-definable from Pfaffian functions

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