{"entities":{"Q1176090":{"pageid":1186839,"ns":120,"title":"Item:Q1176090","lastrevid":69807663,"modified":"2026-04-13T09:31:48Z","type":"item","id":"Q1176090","labels":{"en":{"language":"en","value":"A general method of axiomatizing fragments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 13436"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176090$79F78E7A-504E-43A0-BB6A-A3144C10E07C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a7276644bec31bd1de560afcbad870bb3d17e67","datavalue":{"value":{"text":"A general method of axiomatizing fragments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1176090$B1DFD1F2-93F0-4CD7-A93A-F4E938F98364","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"224e36aad39b60e623d0fcfea1de53b7a7a100b5","datavalue":{"value":"0737.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176090$461B9306-11A4-40CD-97F0-180E1383054F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1559e9988be3836a96d68b1fd21b319901e971d7","datavalue":{"value":{"entity-type":"item","numeric-id":1135289,"id":"Q1135289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176090$A8A5A030-3046-4B16-9F39-D443B4B7FF30","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6db4bd470edb111094f50a346a34a8ff7644b14","datavalue":{"value":{"entity-type":"item","numeric-id":176973,"id":"Q176973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176090$F20331F7-42E1-486F-993B-E53EADFE1EF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1176090$4DC02008-6AE5-4582-B86E-E6658347C77C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5e413fa0a1ca1eca3dcb1db4e521d1f40882b242","datavalue":{"value":"The author presents a general method for axiomatizing fragments of first- order theories. The paper is obviously the contribution [U2 ] announced by the author in Lect. Notes Math. 1104, 453-475 (1984; Zbl 0574.03049). The method is so to speak the proof-theoretic counterpart of the model- theoretic procedure of \\textit{C. Smorynski} in J. Symb. Logic 42, 530-544 (1977; Zbl 0381.03046). The fragment to be axiomatized is characterized by some property which is expressed by a sequence of so-called approximations of a certain type. \\textit{N. Motohashi} introduced this procedure in Fundam. Math. 120, 127-142 (1984; Zbl 0582.03004) to express uniqueness by existence. An approximation is a function which associates a formula to any sequent of a certain type. The central concept of the paper under review is that of inference forms. These are figures for inference rules such that the axioms of a theory can be gained from them. A cut-elimination theorem for theories formalized by such inference forms is given.   First, the new concept is applied to get and partly regain some concrete axiomatization results, and finally two general axiomatization theorems are proven for intuitionistic and classical theories with equality.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176090$25C830D5-37D9-43E7-AE49-3B63C8CD5F60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176090$6913503F-BCB7-43D6-A402-95D75A1C4DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176090$EA4A6418-9ABF-408B-AF70-47E53352F59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176090$56096424-3A49-475B-8DCC-4F85AB66E023","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ffb18a7b8d416f50cc25cdd19e971bd0c9770c0","datavalue":{"value":"13436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176090$D362D541-4FBA-4611-B744-5C7F59AFD099","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67df2e90575723f62dd7a181a3b286a1804cd353","datavalue":{"value":"axiomatization of fragments of first-order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176090$471567DE-2789-49F3-A8CC-3ABF8BAE089D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"403e279186795668124a6bc181ecb0b98c6dcfa0","datavalue":{"value":"inference forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176090$74CCA2BC-C1FF-4CC3-B557-49B41D3E9431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176090$067D8377-CA60-409E-839B-36F3389B1A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eba8345234571bd0c4ec59fe00483718156eaa5b","datavalue":{"value":"intuitionistic and classical theories with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176090$5BF61CED-DDC4-4D65-A278-3FD3454CFF3F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0580dd4129e5d6439921b513d45494c072f33534","datavalue":{"value":{"entity-type":"item","numeric-id":1288968,"id":"Q1288968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176090$8EA4A91A-E946-47B3-8D76-A11EBC264713","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176090$E90EC873-222F-40E3-9A20-1C483C3EF8B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82940d559fd8f040fb77be014f27458ad2c5ca40","datavalue":{"value":"https://doi.org/10.2969/jmsj/04320413","type":"string"},"datatype":"url"},"type":"statement","id":"Q1176090$80146ABF-EF9F-4E3B-BE43-C1960796E272","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ded7ba37ab5542328f05c5a9ad7a581d26038332","datavalue":{"value":"W2066038333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176090$C2DEF83B-87A5-45D6-90E2-1B92379875CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af1d406636272b462418ecc0b7d06f3b4a44f1be","datavalue":{"value":"10.2969/JMSJ/04320413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176090$4D193E38-3F9D-43F5-AE96-6472AF1C0924","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fdea8bd92c95dd393c18aac05ebc6431d01eedb","datavalue":{"value":{"entity-type":"item","numeric-id":2703738,"id":"Q2703738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8937fe8003a684201f51c5aa7351c7b27b41e8ec","datavalue":{"value":{"amount":"+0.8931886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176090$71A297D2-62B7-4983-B0FE-C5EC9A59B3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10dc965eaeb916ba7c8fbd7e9853e6f5401e7606","datavalue":{"value":{"entity-type":"item","numeric-id":1080422,"id":"Q1080422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7be37d1ce3c8dbc97b1906d4ffa8264f0deb682d","datavalue":{"value":{"amount":"+0.8562398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176090$8A11213E-3F31-4F46-90D8-1934C95A0AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9b43c1378cb3013a8fa80841628c30e063bffd1","datavalue":{"value":{"entity-type":"item","numeric-id":3476809,"id":"Q3476809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff8181c323366808024cb1d50a1a1b12b499a700","datavalue":{"value":{"amount":"+0.8496907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176090$7ABBF6B2-6535-4963-BB5F-58B7BC54843F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e028d417ce6ec8443bcbb523bc4cbce9a9a057e","datavalue":{"value":{"entity-type":"item","numeric-id":1066880,"id":"Q1066880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3de398c97c07a5ef6f4e5049198b5d432b12f17","datavalue":{"value":{"amount":"+0.84924054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176090$B668F0B2-3403-4662-8BA9-E4A8C11D27F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fa583b578fd8afa0365df90b88ba4ab49564106","datavalue":{"value":{"entity-type":"item","numeric-id":3617381,"id":"Q3617381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46bae7471bf41df837796f20ee329f6c8543e4bc","datavalue":{"value":{"amount":"+0.84646237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176090$B5024B0D-E32F-4136-BC36-D87600794A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c79ad8da2db58eaf57b2d8347d17a4dbb0b7514","datavalue":{"value":{"entity-type":"item","numeric-id":1819574,"id":"Q1819574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6034d8e50b4d81958a1d608827f7a4cc91ba6a33","datavalue":{"value":{"amount":"+0.84277487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176090$B21BCDED-D843-42C2-B3D8-EF9DD3760629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbd92fcbd187999428755f3015a6c0079f87cfd3","datavalue":{"value":{"entity-type":"item","numeric-id":5465888,"id":"Q5465888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf6872bf966350e571b24d3f567ff01e612180f5","datavalue":{"value":{"amount":"+0.84183025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176090$7059CE18-CE50-4FF0-9657-6E961D5108AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abbe56744178f87ec14db4ccc7afa3fd639ba1d7","datavalue":{"value":{"entity-type":"item","numeric-id":5871044,"id":"Q5871044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2531371a2ad192833daa157cf02a72dd94bdf504","datavalue":{"value":{"amount":"+0.8397994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176090$CE906AB8-2D0C-4E89-BB28-3E12B5905601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d84196819c457d342661381e94c2689d5b92802","datavalue":{"value":{"entity-type":"item","numeric-id":4264538,"id":"Q4264538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74cfc08c6b1a4330dcc6e90cf5fee2adf99fae00","datavalue":{"value":{"amount":"+0.8391671","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176090$7F001195-4F5B-4246-8C37-0408F8D2F5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac6af2e0ad088c63965c07342468a68da1f272f0","datavalue":{"value":{"entity-type":"item","numeric-id":3172386,"id":"Q3172386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f68ce115dff24abe7d5c427d3e8f4f67856a9015","datavalue":{"value":{"amount":"+0.837371","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176090$ED9D4EEC-919F-44AD-9072-B2A4D1180567","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A general method of axiomatizing fragments","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_general_method_of_axiomatizing_fragments"}}}}}