A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
In particular, we show that for a countable ω-stable T, every countable model of T admits a decidable presentation if and only if all n-types in T are recursive and T has only countably many countable ... We characterize the ω-stable theories all of whose countable models admit decidable presentations. ... Let T be a recursive ω-stable theory with countably many countable models. Let M be a model of T . Then M has a decidable presentation if and only if all types realized in M are recursive. ...doi:10.1017/jsl.2013.2 fatcat:w3463o6xjrdulj2ia7drhlyw3y
Lecture Notes in Computer Science
countable models. ... This paper aims to show that, in order to capture a quite relevant feature such as the recursiveness of abstract data types, Model Theory works better than Category Theory. ... Th.5.5 -There are axiomatizable theories without recursive models and with infinitely many non isomorphic and non recursive prime models. ...doi:10.1007/3-540-09981-6_4 fatcat:vqke4bgb7bbkhltzioe4utian4
are recursively presentable; none of them are recursively presentable; or only the zero-dimensional model of T is recursively presentable. ... We conjecture that for a strongly minimal theory T in a finite signature satisfying the Zilber Trichotomy, there are only three possibilities for the recursive spectrum of T: all countable models of T ... Corollary 4.6. • The quasiendomorphism ring has a recursive presentation. • acl(∅) is a Σ 1 subset of U . • The prime model of T has a recursive presentation. Proof. ...arXiv:1104.4666v3 fatcat:sezphceo4bcnblkfyh74qbosri
are recursively presentable; none of them are recursively presentable; or only the zero-dimensional model of T is recursively presentable. ... We conjecture that for a strongly minimal theory T in a finite signature satisfying the Zilber Trichotomy, there are only three possibilities for the recursive spectrum of T : all countable models of T ... Corollary 4.6. • The quasiendomorphism ring has a recursive presentation. • acl(∅) is a Σ 1 subset of U . • The prime model of T has a recursive presentation. Proof. ...doi:10.1090/s0002-9947-2014-05897-2 fatcat:otoxtwbouvhqzjrvapsyglgf7i
We show that if C is any infinite recursive field, it has a weak presentation which is not extendible to a recursive presentation of any field containing C.” ... Andrey Morozov (Novosibirsk) 2000i:03050 03C57 03D45 12L12 Shlapentokh, Alexandra (1-ENC; Greenville, NC) Weak presentations of fields not extendible to recursive presentations. ...
by primes alone as with the author's mosaic model of FTA given above) and a mixed form (in which a model is determined, in general, by both primes and composites as with the standard Gaussian model5). ... Clearly there cannot be a "pure" composite model, since, by hypothesis, every model of FTA contains at least one prime. Thus, the scheme of three forms exhausts all models of FTA. ...doi:10.1073/pnas.50.4.604 pmid:16578551 pmcid:PMC221233 fatcat:6voa3l5clbaslezy2ubxbz5efe
The authors investigate those prime and universal models of complete decidable theories that have recursive presentation (perhaps constructible or strongly constructible). ... Corollary 5.2: There exists a decidable totally transcendental theory whose only con- structible model is a prime model. ...
Lecture Notes in Computer Science
The problem of allowing non-monotonic constructs, such as negation and aggregates, in recursive programs represents a di cult challenge faced by current research in deductive databases. ... A novel and general treatment of set aggregates, allowing for user-de ned aggregates, is also presented. ... Given an XY-clique, Q, its primed version Q 0 , is constructed by priming certain occurrences of recursive predicates in recursive rules as follows: X-rules: all occurrences of recursive predicates are ...doi:10.1007/3-540-57530-8_13 fatcat:rbjr2ebflnfdfbdcjpeklyxbma
Using our method, recursive multiplying, we show reductions in execution time of between 8% and 40% of AllReduce on a Cray XC30 over recursive doubling. ... Using a custom simulator we further explore the dynamics of recursive multiplying. ... Section 3 presents two models used to analyse the AllReduce operation in the context of message pipelining. The recursive multiplying algorithm is presented in Section 4. ...doi:10.1016/j.parco.2017.08.004 fatcat:fdt2tsusivhb3etps67mnkxq4y
prime submodels of the model M. ... Two of them are that each element of a model belongs to at least one minimal prime submodel and that two different minimal prime submodels can have at most one element in common. ...
We show that cofinal extensions of prime models are neutrally expandable, and ω_1-like neutrally expandable models exist, while no recursively saturated model is neutrally expandable. ... A subset of a model of PA is called neutral if it does not change the dcl relation. A model with undefinable neutral classes is called neutrally expandable. ... Acknowledgements Jim Schmerl's comments on a preliminary version of this paper allowed us to improve some of the results and the overall presentation. Thank you Jim. ...arXiv:1712.06503v1 fatcat:vjlkes252bfnhdjj6t6itulrjy
Millar, Terrence (1-WI) Prime models and almost decidability. J. ... Theorem 1: There is a complete decidable theory with a prime model that is not almost decidable. ...
Peano models and primitive recursion. 5. Induction models. 6. Induction models and primitive recursion in induction models. IV. Frames and general structures. 1. Introduction. 2. ... Equational presentation of the functional theory of finite types. VI. Many-sorted logic. 1. Introduction. 2. ...doi:10.1016/s0898-1221(96)90243-6 fatcat:enbe7ontunhcdfw7ewk4xodsna
However, a consistent model of recursive computations, although implied by the ability to use recursion in problem-solving, does not seem to be sufficient for the achievement of higher-level skills. ... In essence, my investigation lends further support to previous related findings on mental models. ... However, you are playing a game and you are not allowed to enter directly the expression (co-primes? x y); you can use co-primes? ...doi:10.1145/1822090.1822136 dblp:conf/iticse/Mirolo10 fatcat:ia7fvjrhy5dj7dvw4lrlby5nt4
Peano models and primitive recursion. 5. Induction models. 6. Induction models and primitive recursion in induction models. IV. Frames and general structures. 1. Introduction. 2. ... Equational presentation of the functional theory of finite types. VI. Many-sorted logic. 1. Introduction. 2. ...doi:10.1016/s0898-1221(96)90247-3 fatcat:vk6xdsaw6fhxlocwgsaxekgvmu
« Previous Showing results 1 — 15 out of 46,817 results