PlanetMath:

PlanetMath

(more info)

Math for the people, by the people.

Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS

Login

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (230)
Orphanage
Unclass'd
Unproven (514)
Corrections (23)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

Encyclopedia by subject

03C07 - Mathematical logic and foundations :: Model theory :: Basic properties of first-order languages and structures

alphabet owned by mathcam congruence owned by almann creating an infinite model owned by CWoo criterion for consistency of sets of formulas owned by jihemme definable owned by CWoo definable type owned by Timmy downward Lowenheim-Skolem theorem owned by Evandar every congruence is the kernel of a homomorphism owned by almann example of definable type owned by aplant example of strongly minimal owned by CWoo first isomorphism theorem owned by almann first order language owned by CWoo first-order theory owned by CWoo free and bound variables owned by CWoo homomorphic image of a $\Sigma$ -structure is a $\Sigma$ -structure owned by almann kernel owned by almann kernel of a homomorphism is a congruence owned by almann language owned by mps length of a string owned by mathcam many-sorted language owned by CWoo many-sorted structure owned by CWoo models constructed from constants owned by ratboy prenex form owned by rspuzio proof of compactness theorem for first order logic owned by CWoo proof of downward Lowenheim-Skolem theorem owned by GodelsTheorem proof of homomorphic image of a $\Sigma$ -structure is a $\Sigma$ -structure owned by almann quantifier free owned by mathcam quotient structure owned by almann recursively axiomatizable theory owned by mathcam relational structure owned by CWoo satisfaction relation owned by CWoo signature owned by CWoo strongly minimal owned by Timmy structure owned by CWoo structure homomorphism owned by almann subformula owned by CWoo substructure owned by almann syntactic compactness theorem for first order logic owned by jihemme theory of formal languages owned by rspuzio type owned by ratboy upward Lowenheim-Skolem theorem owned by Evandar
Show empty categories:
[ up \| top ]