Admissible sets and structures 作者: Jon Barwise 出版社: Springer-Verlag (Berlin, New York)副标题: an approach to definability theory出版年: 1975页数: xiii, 394 p. :ISBN: 9780387074511豆瓣评分 评价人数不足 评价: 写笔记 写书评 加入购书单 分享到 推荐 ...
Annals of Mathematical LogicA. Adamson, Admissible sets and the saturation of structures, Queen's Mathemat- ical Preprint, no. 1977--4, 1977.A. Adamson, “Admissible sets and the saturation of structures,” Ann. Math. Log. , 14 , No. 2, 111-157 (1978)....
Admissible sets and structures: an approach to definability theory (1975) J. Barwise et al. The next admissible set J. of Symbolic Logic (1971) W. Craig On axiomatizability within a system J. of Symbolic Logic (1953) There are more references available in the full text version of this ...
Admissible sets and structures : An Optimal Admissible Tree Search Admissible Sets and Structures: An Approach to Definability Theory Iterative-deepening-A: an optimal admissible tree search Depth-first iterative-deepening: an optimal admissible tree search ...
, Admissible Sets and Structures, Springer-Verlag, Berlin, Göttingen, and Heidelberg (1975). MATH Google Scholar Stukachev A. I.,“Uniformization property in hereditary finite superstructures,” Siberian Adv. Math., 7, No. 1, 123–132 (1997). MATH MathSciNet Google Scholar Stukachev A...
Khoussainov, “Complexity of theories of computable categorical models,” Algebra and Logic, 43, No. 6, 365-373 (2004). MathSciNet Google Scholar M. Faizrahmanov, A. Kach, I. Kalimullin, A. Montalbán, and V. Puzarenko, “Jump inversions of algebraic structures and Σ-definability,...
We present a new and simple algorit... Marcela,Hanzer,and,... - 《Journal of Algebra》 被引量: 28发表: 2008年 Degrees of presentability of structures. II We show that the property of being locally constructivizable is inherited under Muchnik reducibility, which is weakest among the ...
Samson Abramsky a,Radha Jagadeesan b - International Conference on Foundations of Software Science & Computation Structures & Joint European Conference on Theory & Practice of Software 被引量: 60发表: 2005年 Admissibility in Games self-admissible setsassumptioncompletenessSuppose that each player in a...
We consider copies and constructivizations of structures in admissible sets. In the first section we survey results about copies of countable structures in hereditary finite superstructures and definability (so called syntactical conditions of intrinsically computable properties) and state some conjectures ...
2.2 and 3 to compare both symmetry groups, where the extended one is now heavily dependent on the geometry of the supertiles and the relative positions of the permutations within the supertiles. This not only motivates the main results in Sect. 3, but also presents general structures which ...