Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Recursive Model Theory). Showing records 1 – 2 of 2 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of California – Berkeley

1. Andrews, Uri. Amalgamation Constructions And Recursive Model Theory.

Degree: Mathematics, 2010, University of California – Berkeley

We employ the Hrushovski Amalgamation Construction to generate strongly minimal examples of interesting recursive model theoretic phenomena. We show that there exists a strongly minimal theory whose only recursively presentable models are prime or saturated. We show that there exists a strongly minimal theory in a language with finite signature whose only recursively presentable model is the saturated model. Similarly, we show that for every k ∈ ω+1 there exists a strongly minimal theory in a language with finite signature whose recursively presentable models are those with dimension less than k. Finally, we characterize the complexity of strongly minimal or \aleph0-categorical theories that have only recursively presentable models by generating examples in every possible tt-degree.

Subjects/Keywords: Logic; Amalgamation constructions; Model Theory; Recursive Model Theory; Strongly minimal

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Andrews, U. (2010). Amalgamation Constructions And Recursive Model Theory. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/2n5691j4

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Andrews, Uri. “Amalgamation Constructions And Recursive Model Theory.” 2010. Thesis, University of California – Berkeley. Accessed July 07, 2020. http://www.escholarship.org/uc/item/2n5691j4.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Andrews, Uri. “Amalgamation Constructions And Recursive Model Theory.” 2010. Web. 07 Jul 2020.

Vancouver:

Andrews U. Amalgamation Constructions And Recursive Model Theory. [Internet] [Thesis]. University of California – Berkeley; 2010. [cited 2020 Jul 07]. Available from: http://www.escholarship.org/uc/item/2n5691j4.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Andrews U. Amalgamation Constructions And Recursive Model Theory. [Thesis]. University of California – Berkeley; 2010. Available from: http://www.escholarship.org/uc/item/2n5691j4

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Uppsala University

2. Li, Ruoxi. SAFETY STOCK PLANNING AND SUPPLY CHAIN OPTIMIZATION IN STOCK STATUS.

Degree: Statistics, 2019, Uppsala University

This paper proposes a safety stock calculation function based on their distribution properties and create a guideline for the stock status optimization problem. The motivation for this paper originates the cooperation with a drilling tools company, Epiroc Drilling tools AB. The safety stock calculation divides all items into three distribution and design the safety stock for each types separately considering the influence of service level value and lead time. During the process of guideline design, complicated production chain framework is taken into account through recursive algorithm. The stock status combination which can give the minimum storage cost is the optimal guideline for stock item and non-stock item. The time for approximating the global minimum through exhaustive search is remarkably reduced due to the application of Parallel programming and statistical model.

Subjects/Keywords: Safety stock; Statistical distribution; Supply chain optimization; Recursive algorithm; Statistical model; Probability Theory and Statistics; Sannolikhetsteori och statistik; Transport Systems and Logistics; Transportteknik och logistik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Li, R. (2019). SAFETY STOCK PLANNING AND SUPPLY CHAIN OPTIMIZATION IN STOCK STATUS. (Thesis). Uppsala University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-385176

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Li, Ruoxi. “SAFETY STOCK PLANNING AND SUPPLY CHAIN OPTIMIZATION IN STOCK STATUS.” 2019. Thesis, Uppsala University. Accessed July 07, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-385176.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Li, Ruoxi. “SAFETY STOCK PLANNING AND SUPPLY CHAIN OPTIMIZATION IN STOCK STATUS.” 2019. Web. 07 Jul 2020.

Vancouver:

Li R. SAFETY STOCK PLANNING AND SUPPLY CHAIN OPTIMIZATION IN STOCK STATUS. [Internet] [Thesis]. Uppsala University; 2019. [cited 2020 Jul 07]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-385176.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Li R. SAFETY STOCK PLANNING AND SUPPLY CHAIN OPTIMIZATION IN STOCK STATUS. [Thesis]. Uppsala University; 2019. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-385176

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

.