{"entities":{"Q1083464":{"pageid":1094216,"ns":120,"title":"Item:Q1083464","lastrevid":66099708,"modified":"2026-04-12T07:32:47Z","type":"item","id":"Q1083464","labels":{"en":{"language":"en","value":"Finitely determined arithmetical varieties need not be universally- finite"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3975005"}},"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":"Q1083464$6C56D56E-17CC-4334-BEF8-175FD17F00FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29c21887b321c305869c9c65e4a3f7817d189161","datavalue":{"value":{"text":"Finitely determined arithmetical varieties need not be universally- finite","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1083464$751C8220-929A-45A3-8A8F-457248E976DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d946ff5e1bd0a4fe10f88e9dc81de39ce5f01af4","datavalue":{"value":"0604.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083464$82944D8D-7239-41BE-B027-327A5B4D0A79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3629376d2c4cea8fb1266a34dc4130cdfa4cbbe2","datavalue":{"value":"10.1007/BF01224034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083464$313F6D00-9D72-4FD1-AB42-5B162C355FFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b05127385b5eb383671ad92a1d32d28ff86e3514","datavalue":{"value":{"entity-type":"item","numeric-id":687661,"id":"Q687661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083464$CF97165F-42D0-4BBE-957B-D0C75337C610","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083464$E46120A9-4124-4423-9ED0-A68C39807504","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1083464$6A5C3D65-B23D-456F-99A4-3167F1C7F100","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bd60167f9748ba3ecdbb1388bde473dcb1b59806","datavalue":{"value":"A variety V is finitely determined if it is generated by its finite members; it is arithmetical if it is both congruence permutable and congruence distributive; it is universally-finite if every universal sentence true in the class of its finite members is true in V. The result formulated in the title is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083464$5C013BD5-C93B-4427-9C55-5DD52610E72C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083464$1BC37584-2ABB-4B49-90AB-E79223026866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a81ca5b8726a2034b277ccf6907b245cba0e29b4","datavalue":{"value":"08C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083464$1D377DB6-589E-45CB-A747-EAD4B109F93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083464$31DA3C18-D947-49B6-AB6F-47E3B3064CBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cfd933a19ac17fd277b73d279ce73f15c6cc808","datavalue":{"value":"3975005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083464$ABB56908-58B4-4EC8-A4BC-A1C6AEF438FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5bd51595a783fef2d8b4b7cd974bb94b904201","datavalue":{"value":"arithmetical variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083464$77E28A98-37DE-46A4-995E-538208972319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9488d36e325750b7bdea13fdc4f5cde260cdbe35","datavalue":{"value":"congruence permutable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083464$14A03730-158A-451A-AAD4-18418CEE00A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f67f87509f05dc005d93da5d6acf04d12e3a499","datavalue":{"value":"congruence distributive","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083464$23DC7438-7C70-440F-94C7-5F9A3CF3320D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64e2d65cd14e907522364405fd82816c82f37bff","datavalue":{"value":"universally-finite","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083464$83BC62AA-BC03-4C9B-A6C2-966ECA50D799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19bf5ee6c5d5f25a6a06e76afbbd44548899d24d","datavalue":{"value":"universal sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083464$5450FBC1-CCF8-4B93-8DBD-00F990E28B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78f68d23f53fbe23a522e7979b017e94debcab46","datavalue":{"value":"finite members","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083464$CDB4B46E-67A4-41A4-82AC-DCEF9C0668C8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"501cfe30a4ec27729b88954a82206635d87d237f","datavalue":{"value":{"entity-type":"item","numeric-id":1223491,"id":"Q1223491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083464$D6580345-B382-45FA-B7B7-44885EE3236E","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":"Q1083464$1F583F99-E698-43D6-A10D-303E208F97D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5fdc5604c99a9049b19ca9b158f4277fcf7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5554384,"id":"Q5554384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083464$65B5A0A8-7B28-438D-83BB-1E9DDD0EBC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"454fc6903fc6a17021555b0d35490f101386b676","datavalue":{"value":{"entity-type":"item","numeric-id":3671138,"id":"Q3671138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083464$230B6A00-FE2A-49A9-9244-86C6D32BCF79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae361eb36d97b5ac0d492cf00f1a37a57d3c5032","datavalue":{"value":"https://doi.org/10.1007/bf01224034","type":"string"},"datatype":"url"},"type":"statement","id":"Q1083464$89EFAF3A-0B64-41FC-A8F3-A216E4529AE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4bad258f7d18e532a30b6ea5774c679783835184","datavalue":{"value":"W2058497875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083464$25230BF6-E9C4-454B-9998-9292E978C13C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c30f944ad5b7a5ecca50c91539b85d40b382a1","datavalue":{"value":{"entity-type":"item","numeric-id":1570365,"id":"Q1570365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"296dd0c1c16cc1135ab8f77aaadc11fcdf8a430a","datavalue":{"value":{"amount":"+0.7894486784934998","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":"Q1083464$AC2272FC-5ABC-4A4F-A57F-0592112D00F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5238c2c69600639a620eca9084efa59b16eb096","datavalue":{"value":{"entity-type":"item","numeric-id":1124621,"id":"Q1124621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"495bbf4c0ee11aec5cce2308261dee0d5a451e96","datavalue":{"value":{"amount":"+0.7451657056808472","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":"Q1083464$0647B96E-D8A6-4C40-8BF8-DC7A991C1E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc8cede415be6a92cc1d795bbe1ff2101ee88c2f","datavalue":{"value":{"entity-type":"item","numeric-id":1272241,"id":"Q1272241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d178e18689bf5f7e621d0048c3d51cfc5e221539","datavalue":{"value":{"amount":"+0.740986168384552","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":"Q1083464$29CCF87E-EDE8-4DBB-B46C-EC76016A204F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f69a74a49d8707ca1d0794ba2f81b8030d869f3","datavalue":{"value":{"entity-type":"item","numeric-id":3142089,"id":"Q3142089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"181185a389cc80235a084219ec03c661649f3354","datavalue":{"value":{"amount":"+0.7406135201454163","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":"Q1083464$CC12EADF-70E6-4599-9718-572060DF4776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6340dac532c1ae07b3358d038896b9e233ff1ea1","datavalue":{"value":{"entity-type":"item","numeric-id":1771891,"id":"Q1771891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94887d2780cd9a480ec28779df0bd9144d2d6bf8","datavalue":{"value":{"amount":"+0.7393619418144226","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":"Q1083464$B7CB4475-7680-460D-8D0A-A454CFDE085B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finitely determined arithmetical varieties need not be universally- finite","badges":[]}}}}}