Definability in rationals with real order in the background

Journal of Logic and Computation

Volumn 12, Issue 1, 2002, Pages 1-11

  Gurevich, Yuri ^a   Rabinovich, Alexander ^b  

^a MICROSOFT RESEARCH   (United States)

^b TEL AVIV UNIVERSITY   (Israel)

Author keywords

Definability; Expressibility; Monadic logic of order

Indexed keywords

FORMAL LOGIC; LINEAR EQUATIONS; NUMBER THEORY; THEOREM PROVING;

MONADIC LOGIC;

SET THEORY;

EID: 0036465841     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/12.1.1     Document Type: Article

References (4)

1. Finite model theory
2. An application of games to the completeness problem for formalized theories
3. Definability and undefinability with real order in the background
4. A decision procedure for the weak second order theory of linear order