Boolean types in dependent theories. Kaplan, I., Shelah, S., & Segel, O. preprint. bibtex @article{KaShSe:1178,
author = {Kaplan, Itay and Shelah, Saharon and Segel, Ori},
trueauthor = {Kaplan, Itay and Shelah, Saharon and Segel, Ori},
fromwhere = {IL,IL,IL},
journal = {preprint},
title = {{Boolean types in dependent theories}},
}
Downloads: 0
{"_id":"J48Ro2BarZguAqD8H","bibbaseid":"kaplan-shelah-segel-booleantypesindependenttheories","authorIDs":["pZ59xLekwwnwEQesx"],"author_short":["Kaplan, I.","Shelah, S.","Segel, O."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Kaplan"],"firstnames":["Itay"],"suffixes":[]},{"propositions":[],"lastnames":["Shelah"],"firstnames":["Saharon"],"suffixes":[]},{"propositions":[],"lastnames":["Segel"],"firstnames":["Ori"],"suffixes":[]}],"trueauthor":"Kaplan, Itay and Shelah, Saharon and Segel, Ori","fromwhere":"IL,IL,IL","journal":"preprint","title":"Boolean types in dependent theories","bibtex":"@article{KaShSe:1178,\nauthor = {Kaplan, Itay and Shelah, Saharon and Segel, Ori},\ntrueauthor = {Kaplan, Itay and Shelah, Saharon and Segel, Ori},\nfromwhere = {IL,IL,IL},\njournal = {preprint},\ntitle = {{Boolean types in dependent theories}},\n}","author_short":["Kaplan, I.","Shelah, S.","Segel, O."],"key":"KaShSe:1178","id":"KaShSe:1178","bibbaseid":"kaplan-shelah-segel-booleantypesindependenttheories","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://shelah.logic.at/v1/listb.bib","creationDate":"2020-08-19T19:32:48.191Z","downloads":0,"keywords":[],"search_terms":["boolean","types","dependent","theories","kaplan","shelah","segel"],"title":"Boolean types in dependent theories","year":null,"dataSources":["nxqkbmSM8shwFsPpY"]}