Discontinuous phenomena and turing definability

被引:0
|
作者
Cooper, SB [1 ]
机构
[1] UNIV LEEDS,SCH MATH,LEEDS LS2 9JT,W YORKSHIRE,ENGLAND
来源
关键词
D O I
暂无
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
引用
收藏
页码:41 / 55
页数:15
相关论文
共 50 条
  • [41] ON CRITERIA OF DEFINABILITY
    FELSCHER, W
    [J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1968, 19 (04) : 834 - &
  • [42] On propositional definability
    Lang, Jerome
    Marquis, Pierre
    [J]. ARTIFICIAL INTELLIGENCE, 2008, 172 (8-9) : 991 - 1017
  • [43] DEFINABILITY AND UNDECIDABILITY
    HECKER, HD
    [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1969, 15 (01): : 81 - &
  • [44] κ-Madness and definability
    Horowitz, Haim
    Shelah, Saharon
    [J]. MATHEMATICAL LOGIC QUARTERLY, 2022, 68 (03) : 346 - 351
  • [45] EXPLICIT DEFINABILITY
    CHAUBARD, A
    [J]. BULLETIN DES SCIENCES MATHEMATIQUES, 1970, 94 (01): : 33 - &
  • [46] Bifurcation phenomena in two-dimensional piecewise smooth discontinuous maps
    Rakshit, Biswambhar
    Apratim, Manjul
    Banerjee, Soumitro
    [J]. CHAOS, 2010, 20 (03)
  • [47] The validation of a multiscale rheological model of discontinuous phenomena during metal rolling
    Madej, L.
    Hodgson, P. D.
    Pietrzyk, M.
    [J]. COMPUTATIONAL MATERIALS SCIENCE, 2007, 41 (02) : 236 - 241
  • [48] On the discontinuous yielding phenomena observed in a Nb-Ti-Al alloy
    Grylls, RJ
    Banerjee, S
    Perungulam, S
    Wheeler, R
    Fraser, HL
    [J]. INTERMETALLICS, 1998, 6 (7-8) : 749 - 752
  • [50] Decidable and Undecidable Problems for First-Order Definability and Modal Definability
    Balbiani, Philippe
    Tinchev, Tinko
    [J]. LANGUAGE, LOGIC, AND COMPUTATION, 2022, 13206 : 214 - 236