{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2007:FGSFKA6ZB2CW7CEQDY266OEMBZ","short_pith_number":"pith:FGSFKA6Z","schema_version":"1.0","canonical_sha256":"29a45503d90e856f88901e35ef388c0e6d02e2744e8734a09c461fdbf1c63eeb","source":{"kind":"arxiv","id":"0709.3283","version":1},"attestation_state":"computed","paper":{"title":"Algorithmic and topological aspects of semi-algebraic sets defined by quadratic polynomial","license":"","headline":"","cross_cats":["cs.CG","math.AT","math.GT"],"primary_cat":"math.AG","authors_text":"Michael Kettner","submitted_at":"2007-09-20T19:28:10Z","abstract_excerpt":"In this thesis, we consider semi-algebraic sets over a real closed field $R$ defined by quadratic polynomials. Semi-algebraic sets of $R^k$ are defined as the smallest family of sets in $R^k$ that contains the algebraic sets as well as the sets defined by polynomial inequalities, and which is also closed under the boolean operations (complementation, finite unions and finite intersections). We prove new bounds on the Betti numbers as well as on the number of different stable homotopy types of certain fibers of semi-algebraic sets over a real closed field $R$ defined by quadratic polynomials, i"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"0709.3283","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math.AG","submitted_at":"2007-09-20T19:28:10Z","cross_cats_sorted":["cs.CG","math.AT","math.GT"],"title_canon_sha256":"58eeb36ba4a6c0a1de5288201e09fc0c4c8f7c65f241bd6f859e0cc34c6a8b6e","abstract_canon_sha256":"ef6c2f79e32a91d7cd07ff9f60294bf43fec303640a85988d70904de5a829b12"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:09:14.430629Z","signature_b64":"1EoEpR10UF17xoIRD6DGQVYsdO9ss12CXjpy4xO5R/2CzEu1ydl726HTW6NTwGHoYApZXnRnI/2h5g+BN8S7DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"29a45503d90e856f88901e35ef388c0e6d02e2744e8734a09c461fdbf1c63eeb","last_reissued_at":"2026-05-18T04:09:14.430216Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:09:14.430216Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Algorithmic and topological aspects of semi-algebraic sets defined by quadratic polynomial","license":"","headline":"","cross_cats":["cs.CG","math.AT","math.GT"],"primary_cat":"math.AG","authors_text":"Michael Kettner","submitted_at":"2007-09-20T19:28:10Z","abstract_excerpt":"In this thesis, we consider semi-algebraic sets over a real closed field $R$ defined by quadratic polynomials. Semi-algebraic sets of $R^k$ are defined as the smallest family of sets in $R^k$ that contains the algebraic sets as well as the sets defined by polynomial inequalities, and which is also closed under the boolean operations (complementation, finite unions and finite intersections). We prove new bounds on the Betti numbers as well as on the number of different stable homotopy types of certain fibers of semi-algebraic sets over a real closed field $R$ defined by quadratic polynomials, i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0709.3283","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"0709.3283","created_at":"2026-05-18T04:09:14.430272+00:00"},{"alias_kind":"arxiv_version","alias_value":"0709.3283v1","created_at":"2026-05-18T04:09:14.430272+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0709.3283","created_at":"2026-05-18T04:09:14.430272+00:00"},{"alias_kind":"pith_short_12","alias_value":"FGSFKA6ZB2CW","created_at":"2026-05-18T12:25:55.427421+00:00"},{"alias_kind":"pith_short_16","alias_value":"FGSFKA6ZB2CW7CEQ","created_at":"2026-05-18T12:25:55.427421+00:00"},{"alias_kind":"pith_short_8","alias_value":"FGSFKA6Z","created_at":"2026-05-18T12:25:55.427421+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/FGSFKA6ZB2CW7CEQDY266OEMBZ","json":"https://pith.science/pith/FGSFKA6ZB2CW7CEQDY266OEMBZ.json","graph_json":"https://pith.science/api/pith-number/FGSFKA6ZB2CW7CEQDY266OEMBZ/graph.json","events_json":"https://pith.science/api/pith-number/FGSFKA6ZB2CW7CEQDY266OEMBZ/events.json","paper":"https://pith.science/paper/FGSFKA6Z"},"agent_actions":{"view_html":"https://pith.science/pith/FGSFKA6ZB2CW7CEQDY266OEMBZ","download_json":"https://pith.science/pith/FGSFKA6ZB2CW7CEQDY266OEMBZ.json","view_paper":"https://pith.science/paper/FGSFKA6Z","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=0709.3283&json=true","fetch_graph":"https://pith.science/api/pith-number/FGSFKA6ZB2CW7CEQDY266OEMBZ/graph.json","fetch_events":"https://pith.science/api/pith-number/FGSFKA6ZB2CW7CEQDY266OEMBZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FGSFKA6ZB2CW7CEQDY266OEMBZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FGSFKA6ZB2CW7CEQDY266OEMBZ/action/storage_attestation","attest_author":"https://pith.science/pith/FGSFKA6ZB2CW7CEQDY266OEMBZ/action/author_attestation","sign_citation":"https://pith.science/pith/FGSFKA6ZB2CW7CEQDY266OEMBZ/action/citation_signature","submit_replication":"https://pith.science/pith/FGSFKA6ZB2CW7CEQDY266OEMBZ/action/replication_record"}},"created_at":"2026-05-18T04:09:14.430272+00:00","updated_at":"2026-05-18T04:09:14.430272+00:00"}