- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- BIRS Workshop Lecture Videos /
- Monotone theories
Open Collections
BIRS Workshop Lecture Videos
BIRS Workshop Lecture Videos
Monotone theories Moconja, Slavko
Description
By a result of Simon it is known that a theory of a coloured linear order has quantifier elimination after naming all unary $L$-definable sets and all $L$-definable binary monotone relations. Motivated by this result we define the notion of monotone theories, theories of linear orders in which binary definable sets have previous description. More precisely, an $\aleph_0$-saturated structure $M$ is said to be monotone if there exists an $L$-definable linear order $
Item Metadata
Title |
Monotone theories
|
Creator | |
Publisher |
Banff International Research Station for Mathematical Innovation and Discovery
|
Date Issued |
2018-10-15T15:41
|
Description |
By a result of Simon it is known that a theory of a coloured linear order has quantifier elimination after naming all unary $L$-definable sets and all $L$-definable binary monotone relations. Motivated by this result we define the notion of monotone theories, theories of linear orders in which binary definable sets have previous description. More precisely, an $\aleph_0$-saturated structure $M$ is said to be monotone if there exists an $L$-definable linear order $
|
Extent |
26.0
|
Subject | |
Type | |
File Format |
video/mp4
|
Language |
eng
|
Notes |
Author affiliation: University of Wroclaw
|
Series | |
Date Available |
2019-04-14
|
Provider |
Vancouver : University of British Columbia Library
|
Rights |
Attribution-NonCommercial-NoDerivatives 4.0 International
|
DOI |
10.14288/1.0378204
|
URI | |
Affiliation | |
Peer Review Status |
Unreviewed
|
Scholarly Level |
Postdoctoral
|
Rights URI | |
Aggregated Source Repository |
DSpace
|
Item Media
Item Citations and Data
Rights
Attribution-NonCommercial-NoDerivatives 4.0 International