{"entities":{"Q1599775":{"pageid":1610515,"ns":120,"title":"Item:Q1599775","lastrevid":70931511,"modified":"2026-04-13T18:19:26Z","type":"item","id":"Q1599775","labels":{"en":{"language":"en","value":"Hyperfinite and standard unifications for physical theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1751290"}},"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":"Q1599775$F4D318DD-3CF3-411D-AFAB-809E9CF85258","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d49d9dba33f3178aa757b18badfbedc7eda5fe4","datavalue":{"value":{"text":"Hyperfinite and standard unifications for physical theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1599775$8D31195F-1D4A-4C84-BE2D-01D5A234204A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54fa42293c884b35fc832c05e1e3fcccc0641797","datavalue":{"value":"1008.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599775$FCB0B008-666E-4B95-AF5B-8803B4CAB99B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74233c5b127ecfc3fa727977fed06c41fdd5d13c","datavalue":{"value":"10.1155/S0161171201006913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599775$9169C2E1-4318-4647-8666-1ED9E3C55C39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01c805739985115374acddb1dfc9e10b1decca0f","datavalue":{"value":{"entity-type":"item","numeric-id":233282,"id":"Q233282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599775$08B10903-B8FB-4CD3-B4F9-F7922380DF05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4d14f6de16fedb57ef2f0703ad32e93709741b1","datavalue":{"value":{"entity-type":"item","numeric-id":162459,"id":"Q162459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599775$1D15854B-A383-4C2C-AA34-AE2A960750B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"464490692f51838d3848ce9e0091362fec8ecf0d","datavalue":{"value":{"time":"+2003-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1599775$FB76FBDD-C8C5-4FCA-AB27-1E2A0B1FCCB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d61c0fccf876e55d90b5f672c55d788bf2efb8fd","datavalue":{"value":"https://eudml.org/doc/49853","type":"string"},"datatype":"url"},"type":"statement","id":"Q1599775$AFEE0861-B85E-4339-9DF4-2760D06C471C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0e409941fed0b581549fcefb87095635f9098d42","datavalue":{"value":"If \\(L\\) denotes a nonempty language, \\(\\mathcal P\\) the power operator, and \\(\\mathcal F\\) the finite power set operator, then a mapping \\(\\mathcal C: \\mathcal P(L)\\to\\mathcal P(L)\\) is called a general consequence operator or closure operator in the sense of Tarski if for each \\(X,Y\\in\\mathcal P(L)\\),    (i) \\(X\\subset\\mathcal C(X)=\\mathcal C(\\mathcal C(X))\\subset L\\); and if    (ii) \\(X\\subset Y\\), then \\(\\mathcal C(X)\\subset\\mathcal C(Y)\\). \\(\\mathcal C\\) is called finitary if    (iii) \\(\\mathcal C(X)=\\bigcup\\{\\mathcal C(A)\\mid A\\in\\mathcal F(X)\\}\\).    In this paper the author shows, among other things, that certain physical theories can be represented by a nonempty subset \\(\\{S_{N_j}^V \\mid j\\in\\mathbb N\\}\\) of the lattice \\(\\mathcal C(\\Lambda)\\) of consequence operators on a language \\(\\Lambda\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599775$6042E508-642D-40CD-A6A3-5D7603B747B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"022273e3fb81c8f88f6ea055a4646ed826994fec","datavalue":{"value":"03H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599775$938048EE-8438-4B24-856E-67F4910838A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599775$121BF225-D956-4477-95AD-7B568293328D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6000fd4f366571f163c424d174fd674a8c80d794","datavalue":{"value":"00A79","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599775$D4D8B20A-C36A-4E3B-A41B-FC78A1F1EF13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6569715f8fa9204f8dad284ba3e3d822c8cfdab","datavalue":{"value":"1751290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599775$490FD00D-10D6-484B-A898-F4B8EF5FD777","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44386695c7af022c01ed0ec1f7f072e9b7f29b97","datavalue":{"value":"general consequence operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599775$01DAF181-4B92-4876-9616-90C566026BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e380a2a6740bc99767f3f0b2622e9050c075ebb2","datavalue":{"value":"closure operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599775$86700FA0-6C63-4497-BE75-B57DEEB7F61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb81b07cfa7e237608ecf4731baa7cca84e58e53","datavalue":{"value":"physical theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599775$55BE2959-2827-4A62-9D01-45CAA66D89EF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7d1226a33327bae327b14e47af4723b93d732453","datavalue":{"value":{"entity-type":"item","numeric-id":1024175,"id":"Q1024175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599775$D6F0D5AD-9C34-47B3-8E1D-F0068290CB84","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":"Q1599775$53124CA2-FEA8-45F5-A0E6-2A091B2729E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed1ceb7e23c45ecb1fe3abc45584d8bae845fbea","datavalue":{"value":{"entity-type":"item","numeric-id":1774707,"id":"Q1774707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a885bb691996349846c11d56971132774df3d51","datavalue":{"value":{"amount":"+0.8179652094841003","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":"Q1599775$BCF028BF-0B44-4AA9-8DA3-FF50006DCAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a285cbbb69348a4165860f360ac3400e1381b5e9","datavalue":{"value":{"entity-type":"item","numeric-id":874755,"id":"Q874755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1066c44ebe75328ecedb5543fdfe3c15b7dde56c","datavalue":{"value":{"amount":"+0.804242730140686","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":"Q1599775$198B7A4E-3502-46B5-8FD9-07F8D52F25BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a8cf1cef5fe9639c0f5b13ab63ca74553dd9708","datavalue":{"value":{"entity-type":"item","numeric-id":5957224,"id":"Q5957224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf5b2b42462a4db9c1ce0f9485a3288e1324581d","datavalue":{"value":{"amount":"+0.79181969165802","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":"Q1599775$D668D9CF-D9D0-4D3F-81BA-BBF05EE08E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a90bfff3fba7b6b3a68dc4d7f532243909233b4d","datavalue":{"value":{"entity-type":"item","numeric-id":2787221,"id":"Q2787221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf5b2b42462a4db9c1ce0f9485a3288e1324581d","datavalue":{"value":{"amount":"+0.79181969165802","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":"Q1599775$764F94ED-F331-42C8-9499-AC92D7FF58F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8b2fe641ba04d9d5e0fced739d1ca3c6ac830e","datavalue":{"value":{"entity-type":"item","numeric-id":3781109,"id":"Q3781109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"715293cd9cefb1a0943bf3f2444243091885b31d","datavalue":{"value":{"amount":"+0.7646157741546631","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":"Q1599775$D061E225-2E05-467E-89B1-7BF70A6F0A5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hyperfinite and standard unifications for physical theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hyperfinite_and_standard_unifications_for_physical_theories"}}}}}