Rend. Mat. Acc. Lincei s. 9, v. 16143-157 2005) Matematica.(2)

时间:2025-07-08

ABSTRACT. D ?i) The class of the axiomatic foundations mentioned in the title is called Ax Found; and its structure is treated in the introduction. ?ii) This consists of Parts A to G followed by the References. ?iii) In [17] Bressan's modal logic is treate

144A.BRESSANPartE:OnMontanaro'scollaborationtoBr&Mont,substantiallywithinhisdegreethesis;andonhis

subsequentpapers,inpartveryimportantorevensurprising.........................151

PartF:Sometechnicalpreliminaries.Howassertionscanbereferredtoandhowcontentsareusedinthe

Introductionorincontributingworks.Onsymbolsused,e.g.,inspeakinginEnglishaboutworks

writteninItalian.OnAbbreviations............................................151

PARTA:ONTHECLASSOFTHEAXIOMATIC

FOUNDATIONSMENTIONEDINTHETITLE

Thereisauniqueincreasingseriesofinstantst0;t1;t2;...suchthat,forr 0;1;...,attrsomeassertionsbelongingtoaxiomaticfoundationsbegintobeknown.TheseassertionsconstituteaworkwrcalledcontributiontoAxFound.Theworksw0;w1;...arebrieflydenotedby``ContrWs''andforpracticalmotivesseeAS2andAS2;1below.Ofcourse,forr 0;1;2;...,attrthecontributingworkswr 1;wr 2;...,arenotknown.ThestudyofAxFound-see(i)intheAbstract-isstronglybasedonBr&Mont D[7]-see(AS1;3toAS1;7andmainly)AS1;6below-andaimsatimprovingandamplifying[7].AS1Thementionedcontributingworksareconsecutiveinthattheyformauniqueseries(likeiftheywerechaptersorgroupsofchaptersinasamebook.Thisbookisbeingconstructedanditspossibledevelopmentswillgenerallybeatmostimperfectlyknown).

AS1,2Differentcontributionsmightbepublishedondifferentscientificjournals.AS1,3Ishalluse(alsobutnotonly)`Pitteri03'asanabbreviationforPitteri'spaperpublishedontheJournalofElasticity72,241-261,2003.Thisfactalsoappearsfrom[60].

AS1,4Inref.(i.e.reference)[16](onp.261)ofPitteri2003itisshownhowtoobtainanextendedversionofit,whichIshalldenoteby`ExtendPitt'-e.g.,inordertoobtainExtendPittonecanalsosee[61].

AS1,5InsomeentriesoftheReferencesofthepresent§1,someabbreviationsareexplicitlyaddedwithinparentheses:e.g.,suchadditionsareperformedin[3,4]and[5]bymeansof` DMet',` DGIMC',and` DBressan1974'inordertorespectivelyintroducetheabbreviations`Met',`GIMC'and`Bressan1974'.

AS1,6Besidesusing`Br&Mont'for[17],Icanabbreviate[48](onp.27)inExtendPitt,i.e.,(theonly)Truesdell's654pagebook,by`Truesdell1984'.

AS1,7MoredetailsonabbreviationscanbefoundinPartF.

AS1,8Letusexplicitlyremarkthat,e.g.,withinAS2orAS2;3,AShastobereadasassertionorsubassertionrespectively.

FurthermoreImeaneverysuchassertionasanassertionsetoranassertionconjunction;andIregardeverysubassertionASr;sasanassertionheadedbyASr(forinstancebelongingtoASr).

…… 此处隐藏:573字,全部文档内容请下载后查看。喜欢就下载吧 ……
Rend. Mat. Acc. Lincei s. 9, v. 16143-157 2005) Matematica.(2).doc 将本文的Word文档下载到电脑

精彩图片

热门精选

大家正在看

× 游客快捷下载通道(下载后可以自由复制和排版)

限时特价:7 元/份 原价:20元

支付方式:

开通VIP包月会员 特价:29元/月

注:下载文档有可能“只有目录或者内容不全”等情况,请下载之前注意辨别,如果您已付费且无法下载或内容有问题,请联系我们协助你处理。
微信:fanwen365 QQ:370150219