Matches in SemOpenAlex for { <https://semopenalex.org/work/W2085333977> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2085333977 endingPage "3289" @default.
- W2085333977 startingPage "3275" @default.
- W2085333977 abstract "In this paper, we study effective monotonic approximations of sets and sequences of sets. We show that there is a sequence of sets which has no uniform computable monotonic approximation but has an <inline-formula content-type=math/mathml> <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML alttext=bold x> <mml:semantics> <mml:mrow class=MJX-TeXAtom-ORD> <mml:mi mathvariant=bold>x</mml:mi> </mml:mrow> <mml:annotation encoding=application/x-tex>mathbf {x}</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-computable monotonic approximation for every hyperimmune degree <inline-formula content-type=math/mathml> <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML alttext=bold x> <mml:semantics> <mml:mrow class=MJX-TeXAtom-ORD> <mml:mi mathvariant=bold>x</mml:mi> </mml:mrow> <mml:annotation encoding=application/x-tex>mathbf {x}</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. We also construct a <inline-formula content-type=math/mathml> <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML alttext=normal upper Sigma 2 Superscript 0> <mml:semantics> <mml:msubsup> <mml:mi mathvariant=normal>Σ<!-- Σ --></mml:mi> <mml:mn>2</mml:mn> <mml:mn>0</mml:mn> </mml:msubsup> <mml:annotation encoding=application/x-tex>Sigma ^0_2</mml:annotation> </mml:semantics> </mml:math> </inline-formula> set which is not limitwise monotonic but is <inline-formula content-type=math/mathml> <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML alttext=bold x> <mml:semantics> <mml:mrow class=MJX-TeXAtom-ORD> <mml:mi mathvariant=bold>x</mml:mi> </mml:mrow> <mml:annotation encoding=application/x-tex>mathbf {x}</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-limitwise monotonic relative to every non-zero <inline-formula content-type=math/mathml> <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML alttext=normal upper Delta 2 Superscript 0> <mml:semantics> <mml:msubsup> <mml:mi mathvariant=normal>Δ<!-- Δ --></mml:mi> <mml:mn>2</mml:mn> <mml:mn>0</mml:mn> </mml:msubsup> <mml:annotation encoding=application/x-tex>Delta ^0_2</mml:annotation> </mml:semantics> </mml:math> </inline-formula> degree <inline-formula content-type=math/mathml> <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML alttext=bold x> <mml:semantics> <mml:mrow class=MJX-TeXAtom-ORD> <mml:mi mathvariant=bold>x</mml:mi> </mml:mrow> <mml:annotation encoding=application/x-tex>mathbf {x}</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. We show that if a sequence of sets is uniformly limitwise monotonic in <inline-formula content-type=math/mathml> <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML alttext=bold x> <mml:semantics> <mml:mrow class=MJX-TeXAtom-ORD> <mml:mi mathvariant=bold>x</mml:mi> </mml:mrow> <mml:annotation encoding=application/x-tex>mathbf {x}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> for all except countably many degrees <inline-formula content-type=math/mathml> <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML alttext=bold x> <mml:semantics> <mml:mrow class=MJX-TeXAtom-ORD> <mml:mi mathvariant=bold>x</mml:mi> </mml:mrow> <mml:annotation encoding=application/x-tex>mathbf {x}</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, then it has to be uniformly limitwise monotonic. Finally, we apply these results to investigate degree spectra of abelian groups, equivalence relations, and <inline-formula content-type=math/mathml> <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML alttext=normal alef 1> <mml:semantics> <mml:msub> <mml:mi mathvariant=normal>ℵ<!-- ℵ --></mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:annotation encoding=application/x-tex>aleph _1</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-categorical structures." @default.
- W2085333977 created "2016-06-24" @default.
- W2085333977 creator A5034299594 @default.
- W2085333977 creator A5046893858 @default.
- W2085333977 creator A5052577470 @default.
- W2085333977 date "2013-05-31" @default.
- W2085333977 modified "2023-09-27" @default.
- W2085333977 title "Limitwise monotonic sequences and degree spectra of structures" @default.
- W2085333977 cites W1511607758 @default.
- W2085333977 cites W1571286435 @default.
- W2085333977 cites W1597540081 @default.
- W2085333977 cites W1684033657 @default.
- W2085333977 cites W1970404779 @default.
- W2085333977 cites W1971838439 @default.
- W2085333977 cites W1985060429 @default.
- W2085333977 cites W1996816738 @default.
- W2085333977 cites W2004277670 @default.
- W2085333977 cites W2048707733 @default.
- W2085333977 cites W2049842103 @default.
- W2085333977 cites W2066091881 @default.
- W2085333977 cites W2070346525 @default.
- W2085333977 cites W2083738367 @default.
- W2085333977 cites W2089220531 @default.
- W2085333977 cites W2134024760 @default.
- W2085333977 cites W2157963460 @default.
- W2085333977 cites W2163874927 @default.
- W2085333977 cites W2167890881 @default.
- W2085333977 cites W2316087080 @default.
- W2085333977 cites W4231125794 @default.
- W2085333977 cites W69807563 @default.
- W2085333977 cites W1599486919 @default.
- W2085333977 doi "https://doi.org/10.1090/s0002-9939-2013-11586-8" @default.
- W2085333977 hasPublicationYear "2013" @default.
- W2085333977 type Work @default.
- W2085333977 sameAs 2085333977 @default.
- W2085333977 citedByCount "21" @default.
- W2085333977 countsByYear W20853339772014 @default.
- W2085333977 countsByYear W20853339772015 @default.
- W2085333977 countsByYear W20853339772016 @default.
- W2085333977 countsByYear W20853339772017 @default.
- W2085333977 countsByYear W20853339772018 @default.
- W2085333977 countsByYear W20853339772019 @default.
- W2085333977 countsByYear W20853339772020 @default.
- W2085333977 countsByYear W20853339772021 @default.
- W2085333977 countsByYear W20853339772022 @default.
- W2085333977 crossrefType "journal-article" @default.
- W2085333977 hasAuthorship W2085333977A5034299594 @default.
- W2085333977 hasAuthorship W2085333977A5046893858 @default.
- W2085333977 hasAuthorship W2085333977A5052577470 @default.
- W2085333977 hasBestOaLocation W20853339771 @default.
- W2085333977 hasConcept C11413529 @default.
- W2085333977 hasConcept C134306372 @default.
- W2085333977 hasConcept C154945302 @default.
- W2085333977 hasConcept C18903297 @default.
- W2085333977 hasConcept C2776321320 @default.
- W2085333977 hasConcept C2777299769 @default.
- W2085333977 hasConcept C33923547 @default.
- W2085333977 hasConcept C41008148 @default.
- W2085333977 hasConcept C72169020 @default.
- W2085333977 hasConcept C86803240 @default.
- W2085333977 hasConceptScore W2085333977C11413529 @default.
- W2085333977 hasConceptScore W2085333977C134306372 @default.
- W2085333977 hasConceptScore W2085333977C154945302 @default.
- W2085333977 hasConceptScore W2085333977C18903297 @default.
- W2085333977 hasConceptScore W2085333977C2776321320 @default.
- W2085333977 hasConceptScore W2085333977C2777299769 @default.
- W2085333977 hasConceptScore W2085333977C33923547 @default.
- W2085333977 hasConceptScore W2085333977C41008148 @default.
- W2085333977 hasConceptScore W2085333977C72169020 @default.
- W2085333977 hasConceptScore W2085333977C86803240 @default.
- W2085333977 hasIssue "9" @default.
- W2085333977 hasLocation W20853339771 @default.
- W2085333977 hasOpenAccess W2085333977 @default.
- W2085333977 hasPrimaryLocation W20853339771 @default.
- W2085333977 hasRelatedWork W1529400504 @default.
- W2085333977 hasRelatedWork W1892467659 @default.
- W2085333977 hasRelatedWork W1984201912 @default.
- W2085333977 hasRelatedWork W2014538672 @default.
- W2085333977 hasRelatedWork W2050668358 @default.
- W2085333977 hasRelatedWork W2053474327 @default.
- W2085333977 hasRelatedWork W2080268478 @default.
- W2085333977 hasRelatedWork W2103415714 @default.
- W2085333977 hasRelatedWork W2131748347 @default.
- W2085333977 hasRelatedWork W2889728348 @default.
- W2085333977 hasVolume "141" @default.
- W2085333977 isParatext "false" @default.
- W2085333977 isRetracted "false" @default.
- W2085333977 magId "2085333977" @default.
- W2085333977 workType "article" @default.