First-order formulae for b is greater than or equal to a.

**hmmmm** · July 5th 2011, 08:12 AM

Let $\mathcal{V}_{ar}=\{+,.,0,1\}$ be the vocabulary of arithmetic. Let R be the structure that has universe $\mathbb{R}$ and interprets the vocabulary in the usual manner.

Define a $\mathcal{V}_{ar}$ formula $\beta(x,y)$ such that for any
$a,b\in\mathbb{R}, R\models\beta(a,b)$ if and only if $b\geq{a}$ .

Is this correct (i think that it is but im just a little unsure)

$a=b\vee (\exists{y}(y\neq0\wedge\exists{x}(x.x=y))\wedge a+y=b)$

thanks for any help

**emakarov** · July 5th 2011, 10:51 AM

Yes, this would work.

Thread: First-order formulae for b is greater than or equal to a.

LinkBack

Thread Tools

Display

First-order formula for b is greater than or equal to a.

Re: First-order formula for b is greater than or equal to a.

Similar Math Help Forum Discussions

Find the regions where sin(x) is greater than or equal to X

Prove that g(x) greater than/equal to 0?

Show that A(1,n) = 2^n whenever n greater than or equal to 1

[SOLVED] greater than or equal; less than or equal

greater than, equal to or less than zero

Search Tags