{"entities":{"Q1577348":{"pageid":1588088,"ns":120,"title":"Item:Q1577348","lastrevid":47025042,"modified":"2025-12-26T01:52:08Z","type":"item","id":"Q1577348","labels":{"en":{"language":"en","value":"Elementary extensions of external classes in a nonstandard universe"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1501375"}},"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":"Q1577348$79378E33-0CEC-4CC5-A02A-61586155087F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4bb271aea963e9af263d1461919c31a08e4b32c","datavalue":{"value":{"text":"Elementary extensions of external classes in a nonstandard universe","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1577348$5887D5B9-CCA7-4704-A69A-87BA278899C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccc6d5b9dcde56e9c9dce0f125eba69570f3a4fe","datavalue":{"value":"0956.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577348$02554260-2CC8-409F-B1F3-ADACDC425183","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d98e10cf049e87d0c1cd65b9c8e7e016b2333586","datavalue":{"value":"10.1023/A:1005064032270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577348$3DC20046-E067-4DA3-A561-B3012C8E9597","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577348$B7B8E0F1-783B-4B51-B967-51825B0178E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d44b740cc16a5c0503e68c41530b9daa0bc7ab3","datavalue":{"value":{"time":"+2001-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1577348$6BA20B55-061E-4EF1-8476-6998ADC226FB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"01210bbee70ff9125ec079abf75c4e3a8774c21d","datavalue":{"value":"The authors continue their study of \\textbf{HST}, Hrba\u010dek set theory. They consider the problem of existence of elementary extensions of inner ``external'' subclasses of the \\textbf{HST} universe. They show that, given a standard cardinal \\(\\kappa\\), any set \\(R\\subset {}^* \\kappa\\) generates an ``internal'' class \\(S(R)\\) of all sets standard relatively to elements of \\(R\\), and an ``external'' class \\(L[S(R)]\\) of all sets constructible (a notion close to the G\u00f6del notion) from \\(S(R)\\). Also under mild saturation-like requirements for \\(R\\), they show that the class \\(L[S(R)]\\) models a certain \\(\\kappa\\)-version of \\textbf{HST}.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577348$458AD01A-79A3-459B-AA5D-A38F7DD41421","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577348$8E6E793C-DC00-4724-9E96-E28D623210B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577348$262A55A3-6DBF-45B3-8B75-C935DCECB83B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e632d1959ef5acb8e4fb68c5e8fd07cfee91653","datavalue":{"value":"1501375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577348$F67AED29-B358-4322-9E57-32463F2A9D2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ced799092004c48d2d0b00ad42d7ca1fbd4198a","datavalue":{"value":"nonstandard set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577348$260F32EC-F915-44D0-8436-ACC12E7D2664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56047da879dafeeacc1a6019540f5e17dd9c50f1","datavalue":{"value":"inner subuniverses","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577348$29FB6D67-6599-488A-B1AC-A407817E8106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23a5a7ddff9f08c4bae782aa4577d19a0212ebd0","datavalue":{"value":"iterated elementary extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577348$1884231E-D065-4720-9DCC-FD04C82C35A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74b09d794e8860c4a5215cac175587d216774250","datavalue":{"value":{"entity-type":"item","numeric-id":161810,"id":"Q161810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577348$694C1C8F-0303-4E46-A460-12C04ACB0036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8dc76b03bc2d014d8ab8ed0f2e7ad66f294c77e","datavalue":{"value":{"entity-type":"item","numeric-id":161811,"id":"Q161811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577348$99388FEF-5468-483A-BB31-77CA6E3EA0FF","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":"Q1577348$73B3A3D6-5BF6-402A-9735-8064EECF8B78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b5dcf3a1478f5a40521db3de51261869d3dd4c6","datavalue":{"value":"https://doi.org/10.1023/a:1005064032270","type":"string"},"datatype":"url"},"type":"statement","id":"Q1577348$12F89076-4A94-42B8-A463-E87BD4C1EEA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5897f5decb4e0123876863e059838e8f69c1d08","datavalue":{"value":"W1565254115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577348$425902B2-7A89-4934-A290-ADEE188B25E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1fd3f418e24b2c2dbedb3a1333fb54ab654024e","datavalue":{"value":{"entity-type":"item","numeric-id":1919980,"id":"Q1919980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24699df9831980bfba1bd16b35a888a1485a4ae2","datavalue":{"value":{"amount":"+0.8250271081924438","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":"Q1577348$C68F8ADF-EE56-427B-AD54-DCF4E0F51BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eabe6c255968efa459b11bd8349bc36be2f41964","datavalue":{"value":{"entity-type":"item","numeric-id":3434488,"id":"Q3434488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73fd7ff1356da1117ca0ce4f6eb6b32aeb7a272b","datavalue":{"value":{"amount":"+0.8112788200378418","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":"Q1577348$F996891A-6E70-4856-AFDE-092232ACA5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cf864789e882ec2c67d61e0c076e47931fbaf10","datavalue":{"value":{"entity-type":"item","numeric-id":4385854,"id":"Q4385854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b12a4f0c14e3209406bda2ef306ff05260c748b","datavalue":{"value":{"amount":"+0.7936406135559082","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":"Q1577348$4BD082D3-9A3B-4E86-841C-B46D5699C348","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1577348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1577348"}}}}}