<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Structure (mathematical logic) - Page 12 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=structure_(mathematical_logic)&amp;p=11">1.Previous</a><br />
<a accesskey="3" href="page.php?w=structure_%28mathematical_logic%29&amp;p=13">3.Next</a>
</p>
<p>the field axioms. The <a href="page.php?w=rational_number">rational number</a>s  the <a href="page.php?w=real_number">real number</a>s  and the <a href="page.php?w=complex_number">complex number</a>s  like any other field, can be regarded as -structures in an obvious way:</p>

<p>In all three cases we have the standard signature given by with  and</p>

<p>The interpretation function  is:<br/>
: is addition of rational numbers,<br/>
: is multiplication of rational numbers,<br/>
: is the function that takes each rational number  to  and<br/>
:</p><p>
<a accesskey="1" href="page.php?w=structure_(mathematical_logic)&amp;p=11">1.Previous</a><br />
<a accesskey="3" href="page.php?w=structure_%28mathematical_logic%29&amp;p=13">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
