{"entities":{"Q1825864":{"pageid":1836606,"ns":120,"title":"Item:Q1825864","lastrevid":73639119,"modified":"2026-04-14T16:45:16Z","type":"item","id":"Q1825864","labels":{"en":{"language":"en","value":"A decidable countably categorical model without nontrivial recursive automorphisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4121978"}},"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":"Q1825864$31EC2D10-30BE-4CDD-A449-54D179583782","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4ecd662e68e692600568bc5606cb6ef487556f7","datavalue":{"value":{"text":"A decidable countably categorical model without nontrivial recursive automorphisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1825864$50E4B0C8-912D-4EE1-A6DE-9251E3FCC58D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5211143fd55d30e6ea16b95997284f2561ca15d","datavalue":{"value":"0685.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825864$F11394BC-A954-4BA0-A52E-DF9DE2F5869B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d02348be0833e17b6a19bd412383981be070a14","datavalue":{"value":"10.1007/BF00971394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825864$4A182F64-246A-4A29-91F5-4335935A13BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825864$C3B60E97-B601-4CC9-B3D5-F45BA4EA1066","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1825864$CEE4C24B-0AC2-4F7B-9DE9-090690E44EC2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"62122d26514c968aae3d597fb347fed3add2c0ee","datavalue":{"value":"It is well known that every countably categorical model has continuum many automorphisms. In this paper it is shown that in constructive model theory this is not valid: there exists a countably categorical decidable model without nontrivial recursive automorphisms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825864$882C5A84-86B7-4D0A-972D-3BCC996607E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825864$D05E64C5-B0B8-4DB0-A78F-C2219341AC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825864$BD7BF2C7-6476-4771-94EA-4D515FBCFB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825864$1B09824C-5D74-4ED9-8F8C-7912908A89EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e81c7ee58484da810602f900aeb7da2a6bacdcc","datavalue":{"value":"4121978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825864$4311E8C3-0300-49D3-82B4-4723E79189E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1304d70303038da61a8cd9b7aee98b0c342d4ac","datavalue":{"value":"countably categorical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825864$BF318238-1C0D-4F6D-AD6F-2DB35FF07BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e39900cadd5c7230b33b22cd613cf198e6a061e","datavalue":{"value":"constructive model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825864$DD94298A-3468-401C-81D2-27350DA9393F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c2f4fc291e650e0baffb00e2b336e19cddde955","datavalue":{"value":"recursive automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825864$50E54BAF-8AFE-4564-8D89-0F6A2A03472D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5969ae5a2ffdfe98c9b3655a50da4e19018ece0","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825864$E768AC1E-6174-423D-8168-5B0C270A9838","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825864$CAEFD45A-0D5A-4B13-956A-F22033497092","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":"Q1825864$35EA37A0-AB14-43B2-95DA-AB4413A476B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825864$2BAD97D6-E3BD-446B-8693-4A57E7FDF3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee85f15db819554c5cddfac8ba3f64f52efb0bd","datavalue":{"value":{"entity-type":"item","numeric-id":3958432,"id":"Q3958432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825864$886ECBAB-AC74-43CC-A777-6B4D43D7C4EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aba2d4ca6f6c6851d902835c6d970edf23117b44","datavalue":{"value":"https://doi.org/10.1007/bf00971394","type":"string"},"datatype":"url"},"type":"statement","id":"Q1825864$FA5FD51B-E512-44B6-89E8-4138ADAB55E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c68d8a5a90ac99944e1188669dcebf7cf2f40c8b","datavalue":{"value":"W2320324682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825864$887892F5-6A4D-477A-9094-27A0695FD2FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d59d334a68ba6cded9bf5ee916e57c1fc34c544","datavalue":{"value":{"entity-type":"item","numeric-id":1918792,"id":"Q1918792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc6ccf2e3077f77c0062cbb3ea501ff54421640","datavalue":{"value":{"amount":"+0.8167309165000916","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":"Q1825864$A0D7C381-8841-4756-873B-0D81BE1EBD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7958485b30656a25158341863d88212ed7432125","datavalue":{"value":{"entity-type":"item","numeric-id":4268931,"id":"Q4268931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b368524a40f5495a608b359b1ad5efdb6df27a","datavalue":{"value":{"amount":"+0.8006132245063782","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":"Q1825864$87FE6998-2120-4831-BC14-8A0476446A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3a255f13b2f632854fd23a5e8c71e5e0daa9962","datavalue":{"value":{"entity-type":"item","numeric-id":1928482,"id":"Q1928482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c1a2867696bfcd15415a6db1d03176e016f88f","datavalue":{"value":{"amount":"+0.7941024303436279","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":"Q1825864$89C5F5DE-EB40-4313-B2B5-3EF0CED9E2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650a253337120cd32f37c085937e4e108535b421","datavalue":{"value":{"entity-type":"item","numeric-id":3082391,"id":"Q3082391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3290907dd8ac4f5ede362af29809f2d5645120f3","datavalue":{"value":{"amount":"+0.7915860414505005","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":"Q1825864$494945CC-EDB2-466D-9DE4-B01DCCF43667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fbf99ab535c193dea71e01da1ebb676ab1756d9","datavalue":{"value":{"entity-type":"item","numeric-id":1094411,"id":"Q1094411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f76646224197b80b88d70066d0dfd719833001c9","datavalue":{"value":{"amount":"+0.7814703583717346","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":"Q1825864$91A5E5F6-1536-43EA-84CC-52CEB3283313","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A decidable countably categorical model without nontrivial recursive automorphisms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_decidable_countably_categorical_model_without_nontrivial_recursive_automorphisms"}}}}}