{"entities":{"Q1095139":{"pageid":1105891,"ns":120,"title":"Item:Q1095139","lastrevid":69942564,"modified":"2026-04-13T11:22:49Z","type":"item","id":"Q1095139","labels":{"en":{"language":"en","value":"Implication and analysis in classical Frege structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4027459"}},"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":"Q1095139$F333BBC1-3D8E-468C-BA4E-338EED4839AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09f73a925deb367c93d6ba45b98e0f3188cfd807","datavalue":{"value":{"text":"Implication and analysis in classical Frege structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095139$3BF21C3C-260C-4194-B03C-9D13A9A68504","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ccd9a8ebed0e985364cbdb8fccd500102a02bb4","datavalue":{"value":"0632.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095139$AF0FBA96-24AE-4FFB-A33E-652B6308CCF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f995bbe262a6090502c75cc6c26403f562a2633","datavalue":{"value":"10.1016/0168-0072(87)90040-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095139$53E014B2-3E52-43ED-9133-CA5812D1FC1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a9aa8bb6d876a4495254c47474ff772996d6bd","datavalue":{"value":{"entity-type":"item","numeric-id":580340,"id":"Q580340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095139$3ED53C60-3140-4B20-B167-300EB6EF425D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e20944d599dc1f118876ee7220fa52f40afc2b92","datavalue":{"value":{"entity-type":"item","numeric-id":6481875,"id":"Q6481875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095139$54462E0B-20D6-4875-A502-C989FCC48B32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095139$63545B8A-1341-4DA1-9D5F-792605563E0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1095139$7FBBD6E9-AB01-475A-8500-099E648CA9D2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1fd64c7d0a58e3d7cbd5d99c0801504ef753ee7a","datavalue":{"value":"The authors construct a foundational system for mathematics on the Fregean concept of property, i.e. such that for any formula \\(\\Phi\\) (x) there is a property \\(\\Psi\\) such that \\(\\Phi\\) (M) and ``M has property \\(\\Psi\\) '' are interdeducible for every M. On this basis systems have been constructed by Fitch and Aczel. According to the authors the most reasonable foundation of classical mathematics based on Frege's concept of property is to define reals as Dedekind cuts and to use a hierarchy of implications. Such a system was proposed in 1975 by the second author, without a consistency proof, which is now supplied by exploiting Aczel's notion of Frege structure. In this paper the authors develop the proof theory and model theory of classical Frege structures, formalize the hierarchy of implications, prove the consistency of the system and outline the resulting analysis with Dedekind reals, which resembles to a large extent classical (elementary) analysis, and with Cauchy reals, which resembles recursive analysis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095139$162C18AE-3C5C-4E94-88BB-F45D0EDC7EBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095139$A5275A97-AAE9-4E75-8EB6-3AC4638ED903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095139$95D60F19-4D87-432E-AAFF-407EB1026CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095139$9B703368-4417-4416-B4D4-86F984E33EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b98ad4650c5e0104983d42c4c01b72adfa18af1","datavalue":{"value":"26A03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095139$43DBE859-41A5-44CA-911F-7C3DB85AF77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095139$9028CE0E-69FE-4CCC-90AE-6C569BBAC29B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76bc3f5528683274da78b1a28bf32792467b30a2","datavalue":{"value":"4027459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095139$A3BE5481-B9B9-4161-A353-B99D4187D58D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afe0b444fd1ec001b3bdd553e95f576227d1b78a","datavalue":{"value":"Fregean concept of property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095139$05363FBA-500D-4597-97E1-E471C0A2BA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d31326ef71090eaccf00aa802cf01d71d143cf2","datavalue":{"value":"Dedekind cuts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095139$5D2D76C4-9184-4B04-90A2-59F8B5BE743F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"390a6600cb8af90aa241c0b256c3fc3364c4429e","datavalue":{"value":"hierarchy of implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095139$1B1F026A-D068-472C-9430-D0CA56E88693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77b734ac98c07d6460a2d445c2d5f6d339096ca7","datavalue":{"value":"classical Frege structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095139$203F8A6D-CEB8-48F2-816A-2B1AF2B900AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bc6f74c9a9a24c1b0cc23f80efc9936624198c7","datavalue":{"value":"Dedekind reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095139$08862319-9F72-4531-B230-22D5935E3107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e794ff676dbb33d99c44e2174579ff38cb07c71","datavalue":{"value":"analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095139$9F096B4E-6E7E-4018-A468-074CED23A95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9de66f29d2fc4d3dbd360e1c561225cf33c2eb4","datavalue":{"value":"Cauchy reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095139$0B97F8AD-3C86-43E1-ADC1-15CFA0FA2436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81b6f32f274a1d1a79b36ca8e6cf4dc87d7dcbf0","datavalue":{"value":"recursive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095139$326AD24E-C5D0-47D0-BBD7-6C056F5D989D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3c8f905a9fbcdf869078c73fd37f10918c0aa052","datavalue":{"value":{"entity-type":"item","numeric-id":2538515,"id":"Q2538515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095139$8D005FB4-A85B-4EF7-81E3-0F8C11C0E470","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":"Q1095139$CDE7D027-BCF1-4414-AC6E-45E85CC9C3A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38707811ec40777e9d8fcfeb5e009626c1bab198","datavalue":{"value":"https://doi.org/10.1016/0168-0072(87)90040-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1095139$43E9F659-42EA-42D3-9D44-14A77A6C9D52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8fbd6379b444cdef1a0926933407da72506e4b2","datavalue":{"value":"W2048205189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095139$F3AF2B0E-16CF-460A-B095-EA6B4C5A8243","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd06ae5202dd80859d0fd11b1b229caa7bf7c87","datavalue":{"value":{"entity-type":"item","numeric-id":3910522,"id":"Q3910522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095139$FAA44328-45D3-4CA6-AE2D-1893D9CD4B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2913641d9c5dee8401341c953da633b8a057ae","datavalue":{"value":{"entity-type":"item","numeric-id":3912779,"id":"Q3912779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095139$D7DEE396-AC57-44DD-A30F-84BAE4BE79D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095139$642E8938-655A-4883-ABA1-72C699FF2A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095139$0206C46F-4962-487C-940D-63F94B1677F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0efa5446f972ef2f2aef572165825999a284f5fa","datavalue":{"value":{"entity-type":"item","numeric-id":5834324,"id":"Q5834324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095139$8D57B8D0-4833-45F1-A482-BC03178F951A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0657bad7603aacb8f27f5078785e09d3f38ed093","datavalue":{"value":{"entity-type":"item","numeric-id":5786282,"id":"Q5786282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095139$B56BC883-CAEE-47F6-B5C9-B173D6D07FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8948ee2d1b2ab671de718eb2fb195415af3373b3","datavalue":{"value":{"entity-type":"item","numeric-id":5809949,"id":"Q5809949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095139$B35FAF72-53FA-4F75-8F4B-0B7ED3E4B0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5db27c3b236f6853e4bee027abb1813511de6085","datavalue":{"value":{"entity-type":"item","numeric-id":5792488,"id":"Q5792488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095139$63895725-8069-4E68-A21E-4C10F8464807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed9803f3691a37ba7e6000d61457889a45859a2","datavalue":{"value":{"entity-type":"item","numeric-id":3265667,"id":"Q3265667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095139$7A1BE426-6406-429F-A511-A5039615832F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095139$B0A029A5-317D-4975-86C3-E227EFAAD4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a39dc05d940a815efb35253e1e433a6605afab3b","datavalue":{"value":{"entity-type":"item","numeric-id":5829214,"id":"Q5829214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095139$F80E9C35-3B25-44A1-9075-0AB7BFE73818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2da1cac132da2afb239fb84ddc23e97004d35f9c","datavalue":{"value":{"entity-type":"item","numeric-id":4135469,"id":"Q4135469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095139$C6E86E96-25EA-4701-8A7A-336AD409671D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffac7d9aa47d7e3194789ac7b17d644b3b3dbea","datavalue":{"value":{"entity-type":"item","numeric-id":4053617,"id":"Q4053617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095139$F4E76DB9-8757-4732-AAC1-FAD731F563AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095139$4E2B3F4C-F262-4217-97F4-9CF6D515E0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095139$CE611CC2-0C6B-4306-945E-09BCB9E27520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85c9823713798f462284d18e0098c29f26d98df","datavalue":{"value":{"entity-type":"item","numeric-id":4109651,"id":"Q4109651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095139$21471E0A-7532-4606-A241-E3294583692A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b79b67f16ae166349efb924233e2cd51495ea420","datavalue":{"value":{"entity-type":"item","numeric-id":5571011,"id":"Q5571011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095139$821ABDAD-8EAB-4998-A1BC-EF76A340294E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b4d783511ceb46db4eafb03be95dbd2fbfe9fd","datavalue":{"value":{"entity-type":"item","numeric-id":5099780,"id":"Q5099780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d150af4bcba75d648b9d1b68b6da93c0cd0ed19","datavalue":{"value":{"amount":"+0.7705744504928589","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095139$69F0E6C5-1663-4A21-8ED8-82E8814301F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cb78a511a312d5166005d28c84591e2165a1528","datavalue":{"value":{"entity-type":"item","numeric-id":5937820,"id":"Q5937820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf25ad5c72ceef6f0ea5d33ecbc4bdc13b9c34d4","datavalue":{"value":{"amount":"+0.769683837890625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095139$D0620D10-732E-4E90-91F0-DDACA437AD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28229740b9f1c81200e242976f83a402615014b1","datavalue":{"value":{"entity-type":"item","numeric-id":2409390,"id":"Q2409390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ee93a99cd4a57a47d27aa673678dd92516369c6","datavalue":{"value":{"amount":"+0.7610386610031128","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095139$E6E1DD92-3D06-4409-A6FE-0213891D5423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bd3100bf9c7b6ccd291d4b1c6a56a4e71470289","datavalue":{"value":{"entity-type":"item","numeric-id":5694788,"id":"Q5694788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f38a80faa6ed08307a147f8bce80e2975fe7f9c0","datavalue":{"value":{"amount":"+0.7494152784347534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095139$5A66FAE5-1D55-4C67-BF7B-8D321D88E505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ddba6b75c2a9b84fdbb436eed85119e6fb21c8f","datavalue":{"value":{"entity-type":"item","numeric-id":1104320,"id":"Q1104320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bda40a30ea2f660005ceb7b651badb5ce030d1e7","datavalue":{"value":{"amount":"+0.7432215213775635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095139$435FCAF5-5CAD-4512-B485-6AB725424453","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implication and analysis in classical Frege structures","badges":[]}}}}}