{"id":"https://openalex.org/W1987541239","doi":"https://doi.org/10.2307/2275215","title":"Quadratic forms in normal open induction","display_name":"Quadratic forms in normal open induction","publication_year":1993,"publication_date":"1993-06-01","ids":{"openalex":"https://openalex.org/W1987541239","doi":"https://doi.org/10.2307/2275215","mag":"1987541239"},"language":"en","primary_location":{"id":"doi:10.2307/2275215","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275215","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021974011","display_name":"Margarita Otero","orcid":"https://orcid.org/0000-0002-3389-6822"},"institutions":[{"id":"https://openalex.org/I63634437","display_name":"Universidad Aut\u00f3noma de Madrid","ror":"https://ror.org/01cby8j38","country_code":"ES","type":"education","lineage":["https://openalex.org/I63634437"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Margarita Otero","raw_affiliation_strings":["Departmento De Matematicas, Universidad Aut\u00f3noma De Madrid, 28049 Madrid, Spain, E-mail:","Departmento De Matematicas, Universidad Aut\u00f3noma De Madrid, 28049 Madrid, Spain, E-mail: otero@ccuam3.sdi.uam.es"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departmento De Matematicas, Universidad Aut\u00f3noma De Madrid, 28049 Madrid, Spain, E-mail:","institution_ids":["https://openalex.org/I63634437"]},{"raw_affiliation_string":"Departmento De Matematicas, Universidad Aut\u00f3noma De Madrid, 28049 Madrid, Spain, E-mail: otero@ccuam3.sdi.uam.es","institution_ids":["https://openalex.org/I63634437"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5021974011"],"corresponding_institution_ids":["https://openalex.org/I63634437"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.11111111,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"58","issue":"2","first_page":"456","last_page":"476"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9814000129699707,"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"}},"topics":[{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9814000129699707,"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"}},{"id":"https://openalex.org/T12508","display_name":"Functional Equations Stability Results","score":0.95660001039505,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"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/T11673","display_name":"Advanced Topics in Algebra","score":0.9564999938011169,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8031365871429443},{"id":"https://openalex.org/keywords/quadratic-equation","display_name":"Quadratic equation","score":0.534451425075531},{"id":"https://openalex.org/keywords/quotient","display_name":"Quotient","score":0.5132184028625488},{"id":"https://openalex.org/keywords/peano-axioms","display_name":"Peano axioms","score":0.4798978567123413},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.46358439326286316},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.45269590616226196},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.37686631083488464},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2947184443473816},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.09944352507591248}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8031365871429443},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.534451425075531},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.5132184028625488},{"id":"https://openalex.org/C97489613","wikidata":"https://www.wikidata.org/wiki/Q842755","display_name":"Peano axioms","level":2,"score":0.4798978567123413},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.46358439326286316},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.45269590616226196},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.37686631083488464},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2947184443473816},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.09944352507591248},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"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":2,"locations":[{"id":"doi:10.2307/2275215","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275215","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1183744243","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183744243","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"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":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W143957234","https://openalex.org/W1022561181","https://openalex.org/W1585954501","https://openalex.org/W1890283703","https://openalex.org/W1965416269","https://openalex.org/W2057182494","https://openalex.org/W2076597612","https://openalex.org/W2123665570","https://openalex.org/W2201799275","https://openalex.org/W2329005902","https://openalex.org/W3175367423","https://openalex.org/W4239679971","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W171744056","https://openalex.org/W1577881803","https://openalex.org/W2115117868","https://openalex.org/W3136886172","https://openalex.org/W4301007153","https://openalex.org/W4390013774","https://openalex.org/W2303556051","https://openalex.org/W4289097017","https://openalex.org/W4311993079","https://openalex.org/W2906702131"],"abstract_inverted_index":{"Abstract":[0],"Models":[1],"of":[2,31,39,41,45,49,54,61,111,118,122,129,132,135,143,145],"normal":[3],"open":[4,26],"induction":[5,23],"(NOI)":[6],"are":[7],"those":[8],"discretely":[9],"ordered":[10,32],"rings,":[11],"integrally":[12],"closed":[13],"in":[14,28,88,108,149,155],"their":[15],"fraction":[16],"field":[17],"whose":[18],"nonnegative":[19],"part":[20],"satisfy":[21],"Peano's":[22],"axioms":[24],"for":[25],"formulas":[27],"the":[29,37,62,130,141,157,161],"language":[30],"semirings.":[33],"Here":[34],"we":[35,84,124,139,151],"study":[36,115,140],"problem":[38],"representability":[40],"an":[42],"element":[43],"a":[44,46,58,73,78,81,104,109,119,146,153],"model":[47,110,120,154],"M":[48,55,92,121,136],"NOI":[50],"(in":[51],"some":[52,89,127],"extension":[53],")":[56],"by":[57,101,160],"quadratic":[59,116],"form":[60],"type":[63],"X":[64],"2":[65,69,99,102],"+":[66,100],"b":[67,71],"Y":[68],"where":[70],"is":[72],"nonzero":[74],"integer.":[75],"Using":[76],"either":[77],"trigonometric":[79],"or":[80],"hyperbolic":[82],"parametrization":[83],"prove":[85,126],"that":[86],"except":[87],"trivial":[90],"cases,":[91],"[":[93],"x,":[94],"y":[95],"]":[96],"with":[97],"x":[98],"=":[103],"can":[105],"be":[106],"embedded":[107],"NOI.":[112],"We":[113],"also":[114],"extensions":[117],"NOI;":[123,150],"first":[125],"properties":[128],"ring":[131],"Gaussian":[133],"integers":[134],".":[137],"Then":[138],"group":[142,159],"solutions":[144],"Pell":[147],"equation":[148],"construct":[152],"which":[156],"quotient":[158],"squares":[162],"has":[163],"size":[164],"continuum.":[165]},"counts_by_year":[{"year":2017,"cited_by_count":2}],"updated_date":"2026-05-21T09:19:25.381259","created_date":"2025-10-10T00:00:00"}