(more info)
Math for the people, by the people.
Encyclopedia
|
Requests
|
Forums
|
Docs
|
Wiki
|
Random
|
RSS
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions
meta
Requests
(213)
Orphanage
Unclass'd
(1)
Unproven
(473)
Corrections
(38)
Classification
talkback
Polls
Forums
Feedback
Bug Reports
downloads
Snapshots
PM Book
information
News
Docs
Wiki
ChangeLog
TODO List
Legalese
About
elementarily equivalent
(Definition)
Conventions
All
structures
share a common
signature
; the
first-order language
is the
language
determined by that signature.
Definition
The
theory
of a structure
,
,
is the set of all
sentences
of
that are true in
Definition
Structures
and
are
elementarily equivalent
, (in symbols:
if and only if
.
"elementarily equivalent" is owned by
CWoo
.
[
full author list
(2) |
owner history
(2) ]
(
view preamble
)
View style:
HTML with images
page images
TeX source
Also defines:
theory
Keywords:
sentence
Log in to rate this entry.
(
view current ratings
)
Cross-references:
sentences
,
language
,
first-order language
,
signature
,
structures
There are
93 references
to this entry.
This is
version 5
of
elementarily equivalent
, born on 2002-08-28, modified 2007-12-27.
Object id is
3388
, canonical name is
ElementarilyEquivalent
.
Accessed 2080 times total.
Classification:
AMS MSC
:
03C99
(Mathematical logic and foundations :: Model theory :: Miscellaneous)
Pending Errata and Addenda
None.
[
View all 2
]
Discussion
Style:
Flat
Threaded
Expand:
all
none
1
2
3
4
5
6
7
8
9
Order:
Oldest First
Newest first
forum policy
No messages.
Interact
post
|
correct
|
update request
|
add derivation
|
add example
|
add (any)