On sets ∀-definable from Pfaffian functions

DOI10.2307/2275301zbMATH Open0771.03012OpenAlexW2034508274MaRDI QIDQ4032652FDOQ4032652

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

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

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)

Cites Work

• Title not available (Why is that?)

Cited In (4)

• Title not available (Why is that?)
• Classifying the Provably Total Functions of PA
• Relative Pfaffian closure for definably complete Baire structures
• Title not available (Why is that?)

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)