乐胖代购免代理版

{"id":"https://openalex.org/W1576561604","doi":"https://doi.org/10.1142/s0219061315500063","title":"Invariant types in NIP theories","display_name":"Invariant types in NIP theories","publication_year":2015,"publication_date":"2015-09-30","ids":{"openalex":"https://openalex.org/W1576561604","doi":"https://doi.org/10.1142/s0219061315500063","mag":"1576561604"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0219061315500063","pdf_url":null,"source":{"id":"https://openalex.org/S29890666","display_name":"Journal of Mathematical Logic","issn_l":"0219-0613","issn":["0219-0613","1793-6691"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1401.6715","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108734495","display_name":"Pierre Simon","orcid":"https://orcid.org/0000-0002-2923-8202"},"institutions":[{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","ror":"https://ror.org/029brtt94","country_code":"FR","type":"education","lineage":["https://openalex.org/I100532134","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I4210104796","display_name":"institut Camille-Jordan","ror":"https://ror.org/01ekw7f87","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210104796"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Pierre Simon","raw_affiliation_strings":["CNRS, Institut Camille Jordan, Universit\u00e9 Claude Bernard, Lyon I, 43 Boulevard du 11 Novembre 1918, 69622 Villeurbanne Cedex, France"],"affiliations":[{"raw_affiliation_string":"CNRS, Institut Camille Jordan, Universit\u00e9 Claude Bernard, Lyon I, 43 Boulevard du 11 Novembre 1918, 69622 Villeurbanne Cedex, France","institution_ids":["https://openalex.org/I100532134","https://openalex.org/I4210104796","https://openalex.org/I1294671590"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5108734495"],"corresponding_institution_ids":["https://openalex.org/I100532134","https://openalex.org/I4210104796","https://openalex.org/I1294671590"],"apc_list":null,"apc_paid":null,"fwci":1.187,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":16,"citation_normalized_percentile":{"value":0.885363,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":90},"biblio":{"volume":"15","issue":"02","first_page":"1550006","last_page":"1550006"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.999,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.999,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.996,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9773,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/nip","display_name":"NIP","score":0.86516225}],"concepts":[{"id":"https://openalex.org/C182420344","wikidata":"https://www.wikidata.org/wiki/Q17144130","display_name":"NIP","level":2,"score":0.86516225},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7654711},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.7263795},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.49066174},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4267956},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.4234373},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.15022093},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0219061315500063","pdf_url":null,"source":{"id":"https://openalex.org/S29890666","display_name":"Journal of Mathematical Logic","issn_l":"0219-0613","issn":["0219-0613","1793-6691"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-01010685","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://hal.science/hal-01010685","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/1401.6715","pdf_url":"https://arxiv.org/pdf/1401.6715","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://api.datacite.org/dois/10.48550/arxiv.1401.6715","pdf_url":null,"source":{"id":"https://openalex.org/S4393179698","display_name":"DataCite API","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210145204","host_organization_name":"DataCite","host_organization_lineage":["https://openalex.org/I4210145204"],"host_organization_lineage_names":["DataCite"],"type":"metadata"},"license":null,"license_id":null,"version":null}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/1401.6715","pdf_url":"https://arxiv.org/pdf/1401.6715","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":["https://openalex.org/W1576561604","https://openalex.org/W3098188284"],"referenced_works_count":14,"referenced_works":["https://openalex.org/W1972603324","https://openalex.org/W1991014694","https://openalex.org/W1996336783","https://openalex.org/W2007940480","https://openalex.org/W2009545408","https://openalex.org/W2093636480","https://openalex.org/W2106177549","https://openalex.org/W2160357452","https://openalex.org/W2963426607","https://openalex.org/W2963904819","https://openalex.org/W3039948875","https://openalex.org/W3102566949","https://openalex.org/W4247050385","https://openalex.org/W615860846"],"related_works":["https://openalex.org/W923501995","https://openalex.org/W4391375266","https://openalex.org/W4295682225","https://openalex.org/W3127733049","https://openalex.org/W2973014211","https://openalex.org/W2604305554","https://openalex.org/W2325262970","https://openalex.org/W2324615221","https://openalex.org/W2128029600","https://openalex.org/W1563040760"],"abstract_inverted_index":{"We":[0],"study":[1],"invariant":[2,48],"types":[3,35,49],"in":[4,18],"NIP":[5],"theories.":[6],"Amongst":[7],"other":[8],"things:":[9],"we":[10,25,42],"prove":[11],"a":[12,27,52],"definable":[13],"version":[14],"of":[15,20,33,38,54],"the":[16,31],"(p,q)-theorem":[17],"theories":[19],"small":[21],"or":[22],"medium":[23],"directionality;":[24],"construct":[26],"canonical":[28],"retraction":[29],"from":[30],"space":[32],"M-invariant":[34],"to":[36],"that":[37],"M-finitely":[39],"satisfiable":[40],"types;":[41],"show":[43],"some":[44],"amalgamation":[45],"results":[46],"for":[47],"and":[50],"list":[51],"number":[53],"open":[55],"questions.":[56]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1576561604","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-01-03T14:00:30.748485","created_date":"2016-06-24"}