Open Collections

Page Metadata

Item Metadata

Title	Monotone theories
Creator	Moconja, Slavko
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 $<$ such that every $A$-definable subset of $M^2$ is a finite Boolean combination of unary $A$-definable sets and $A$-definable $<$-monotone relations, in which case we also say that $M$ is monotone with respect to $<$. A theory is said to be monotone if it has a monotone $\aleph_0$-saturated model. We prove that the class of monotone theories coincides with the class of weakly quasi-o-minimal theories introduced by Kudaibergenov. Moreover, we describe definable linear orders in monotone theories and show that monotonicity of a theory does not depend on the choice of the linear order. Joint work with Predrag Tanovi\'c.
Extent	26.0
Subject	Mathematics Mathematical logic and foundations Combinatorics
Geographic Location	Oaxaca (Mexico : State)
Type	Moving Image
FileFormat	video/mp4
Language	eng
Notes	Author affiliation: University of Wroclaw
Series	BIRS Workshop Lecture Videos (Oaxaca (Mexico : State))
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	http://hdl.handle.net/2429/69677
Affiliation	Non UBC
Peer Review Status	Unreviewed
Scholarly Level	Postdoctoral
Rights URI	http://creativecommons.org/licenses/by-nc-nd/4.0/
AggregatedSourceRepository	DSpace

Download

Media

48630-201810151541-Moconja_lrv.mp4 [ 102.3MB ]

Metadata

JSON: 48630-1.0378204.json

JSON-LD: 48630-1.0378204-ld.json

RDF/XML (Pretty): 48630-1.0378204-rdf.xml

RDF/JSON: 48630-1.0378204-rdf.json

Turtle: 48630-1.0378204-turtle.txt

N-Triples: 48630-1.0378204-rdf-ntriples.txt

Original Record: 48630-1.0378204-source.json

Citation

48630-1.0378204.ris

Cite

Usage Statistics

Share

Embed

Customize your widget with the following options, then copy and paste the code below into the HTML of your page to embed this item in your website.

Include Metadata Specify width in pixels (leave blank for auto-width):

                        
                            <div id="ubcOpenCollectionsWidgetDisplay">
                            <script id="ubcOpenCollectionsWidget"
                            src="{[{embed.src}]}"
                            data-item="{[{embed.item}]}"
                            data-collection="{[{embed.collection}]}"
                            data-metadata="{[{embed.showMetadata}]}"
                            data-width="{[{embed.width}]}"
                            async >
                            </script>
                            </div>
                        
                    

Our image viewer uses the IIIF 2.0 standard. To load this item in other compatible viewers, use this url:

https://iiif.library.ubc.ca/presentation/dsp.48630.1-0378204/manifest

Comment

Related Items