Citations of work:

Shih-Ping Tung (1988). Definability on Formulas With Single Quantifier.

Are we missing citations?

PhilPapers citations & references are currently in beta testing. We expect to add many more in the future.

Meanwhile, you can use our bibliography tool to import references for this or another work.

Or you can directly add citations for the above work:

Search for work by author name and title
Add directly by record ID

  1.  17
    Arithmetic Definability by Formulas with Two Quantifiers.Shih Ping Tung - 1992 - Journal of Symbolic Logic 57 (1):1-11.
    We give necessary conditions for a set to be definable by a formula with a universal quantifier and an existential quantifier over algebraic integer rings or algebraic number fields. From these necessary conditions we obtain some undefinability results. For example, N is not definable by such a formula over Z. This extends a previous result of R. M. Robinson.
    Direct download (6 more)  
    Export citation  
    My bibliography