Hanf Numbers and Presentation Theorems in AECs Article Swipe
Will Boney
,
John R. Baldwin
·
YOU?
·
· 2015
· Open Access
·
· DOI: https://doi.org/10.48550/arxiv.1511.02935
YOU?
·
· 2015
· Open Access
·
· DOI: https://doi.org/10.48550/arxiv.1511.02935
We prove that a strongly compact cardinal is an upper bound for a Hanf number for amalgamation, etc. in AECs using both semantic and syntactic methods. To syntactically prove non-disjoint amalgamation, a different presentation theorem than Shelah's is needed. This relational presentation theorem has the added advantage of being {\it functorial}, which allows the transfer of amalgamation.
Related Topics
Concepts
Metadata
- Type
- preprint
- Language
- en
- Landing Page
- http://arxiv.org/abs/1511.02935
- https://arxiv.org/pdf/1511.02935
- OA Status
- green
- Related Works
- 10
- OpenAlex ID
- https://openalex.org/W4301031439
All OpenAlex metadata
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W4301031439Canonical identifier for this work in OpenAlex
- DOI
-
https://doi.org/10.48550/arxiv.1511.02935Digital Object Identifier
- Title
-
Hanf Numbers and Presentation Theorems in AECsWork title
- Type
-
preprintOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2015Year of publication
- Publication date
-
2015-11-09Full publication date if available
- Authors
-
Will Boney, John R. BaldwinList of authors in order
- Landing page
-
https://arxiv.org/abs/1511.02935Publisher landing page
- PDF URL
-
https://arxiv.org/pdf/1511.02935Direct link to full text PDF
- Open access
-
YesWhether a free full text is available
- OA status
-
greenOpen access status per OpenAlex
- OA URL
-
https://arxiv.org/pdf/1511.02935Direct OA link when available
- Concepts
-
Disjoint sets, Presentation (obstetrics), Mathematics, Transfer (computing), Upper and lower bounds, Discrete mathematics, Pure mathematics, Algebra over a field, Computer science, Natural language processing, Medicine, Mathematical analysis, Radiology, Parallel computingTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
0Total citation count in OpenAlex
- Related works (count)
-
10Other works algorithmically related by OpenAlex
Full payload
| id | https://openalex.org/W4301031439 |
|---|---|
| doi | https://doi.org/10.48550/arxiv.1511.02935 |
| ids.doi | https://doi.org/10.48550/arxiv.1511.02935 |
| ids.openalex | https://openalex.org/W4301031439 |
| fwci | |
| type | preprint |
| title | Hanf Numbers and Presentation Theorems in AECs |
| biblio.issue | |
| biblio.volume | |
| biblio.last_page | |
| biblio.first_page | |
| topics[0].id | https://openalex.org/T11151 |
| topics[0].field.id | https://openalex.org/fields/26 |
| topics[0].field.display_name | Mathematics |
| topics[0].score | 0.9987999796867371 |
| topics[0].domain.id | https://openalex.org/domains/3 |
| topics[0].domain.display_name | Physical Sciences |
| topics[0].subfield.id | https://openalex.org/subfields/2608 |
| topics[0].subfield.display_name | Geometry and Topology |
| topics[0].display_name | Advanced Topology and Set Theory |
| topics[1].id | https://openalex.org/T11010 |
| topics[1].field.id | https://openalex.org/fields/17 |
| topics[1].field.display_name | Computer Science |
| topics[1].score | 0.9739000201225281 |
| topics[1].domain.id | https://openalex.org/domains/3 |
| topics[1].domain.display_name | Physical Sciences |
| topics[1].subfield.id | https://openalex.org/subfields/1702 |
| topics[1].subfield.display_name | Artificial Intelligence |
| topics[1].display_name | Logic, Reasoning, and Knowledge |
| topics[2].id | https://openalex.org/T12002 |
| topics[2].field.id | https://openalex.org/fields/17 |
| topics[2].field.display_name | Computer Science |
| topics[2].score | 0.9685999751091003 |
| topics[2].domain.id | https://openalex.org/domains/3 |
| topics[2].domain.display_name | Physical Sciences |
| topics[2].subfield.id | https://openalex.org/subfields/1703 |
| topics[2].subfield.display_name | Computational Theory and Mathematics |
| topics[2].display_name | Computability, Logic, AI Algorithms |
| is_xpac | False |
| apc_list | |
| apc_paid | |
| concepts[0].id | https://openalex.org/C45340560 |
| concepts[0].level | 2 |
| concepts[0].score | 0.8390798568725586 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q215382 |
| concepts[0].display_name | Disjoint sets |
| concepts[1].id | https://openalex.org/C2777601897 |
| concepts[1].level | 2 |
| concepts[1].score | 0.8313841223716736 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q3409113 |
| concepts[1].display_name | Presentation (obstetrics) |
| concepts[2].id | https://openalex.org/C33923547 |
| concepts[2].level | 0 |
| concepts[2].score | 0.5660721659660339 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q395 |
| concepts[2].display_name | Mathematics |
| concepts[3].id | https://openalex.org/C2776175482 |
| concepts[3].level | 2 |
| concepts[3].score | 0.5287660360336304 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q1195816 |
| concepts[3].display_name | Transfer (computing) |
| concepts[4].id | https://openalex.org/C77553402 |
| concepts[4].level | 2 |
| concepts[4].score | 0.42695802450180054 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q13222579 |
| concepts[4].display_name | Upper and lower bounds |
| concepts[5].id | https://openalex.org/C118615104 |
| concepts[5].level | 1 |
| concepts[5].score | 0.39197492599487305 |
| concepts[5].wikidata | https://www.wikidata.org/wiki/Q121416 |
| concepts[5].display_name | Discrete mathematics |
| concepts[6].id | https://openalex.org/C202444582 |
| concepts[6].level | 1 |
| concepts[6].score | 0.36936885118484497 |
| concepts[6].wikidata | https://www.wikidata.org/wiki/Q837863 |
| concepts[6].display_name | Pure mathematics |
| concepts[7].id | https://openalex.org/C136119220 |
| concepts[7].level | 2 |
| concepts[7].score | 0.3591858744621277 |
| concepts[7].wikidata | https://www.wikidata.org/wiki/Q1000660 |
| concepts[7].display_name | Algebra over a field |
| concepts[8].id | https://openalex.org/C41008148 |
| concepts[8].level | 0 |
| concepts[8].score | 0.34017109870910645 |
| concepts[8].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[8].display_name | Computer science |
| concepts[9].id | https://openalex.org/C204321447 |
| concepts[9].level | 1 |
| concepts[9].score | 0.33617928624153137 |
| concepts[9].wikidata | https://www.wikidata.org/wiki/Q30642 |
| concepts[9].display_name | Natural language processing |
| concepts[10].id | https://openalex.org/C71924100 |
| concepts[10].level | 0 |
| concepts[10].score | 0.06502014398574829 |
| concepts[10].wikidata | https://www.wikidata.org/wiki/Q11190 |
| concepts[10].display_name | Medicine |
| concepts[11].id | https://openalex.org/C134306372 |
| concepts[11].level | 1 |
| concepts[11].score | 0.045904189348220825 |
| concepts[11].wikidata | https://www.wikidata.org/wiki/Q7754 |
| concepts[11].display_name | Mathematical analysis |
| concepts[12].id | https://openalex.org/C126838900 |
| concepts[12].level | 1 |
| concepts[12].score | 0.0 |
| concepts[12].wikidata | https://www.wikidata.org/wiki/Q77604 |
| concepts[12].display_name | Radiology |
| concepts[13].id | https://openalex.org/C173608175 |
| concepts[13].level | 1 |
| concepts[13].score | 0.0 |
| concepts[13].wikidata | https://www.wikidata.org/wiki/Q232661 |
| concepts[13].display_name | Parallel computing |
| keywords[0].id | https://openalex.org/keywords/disjoint-sets |
| keywords[0].score | 0.8390798568725586 |
| keywords[0].display_name | Disjoint sets |
| keywords[1].id | https://openalex.org/keywords/presentation |
| keywords[1].score | 0.8313841223716736 |
| keywords[1].display_name | Presentation (obstetrics) |
| keywords[2].id | https://openalex.org/keywords/mathematics |
| keywords[2].score | 0.5660721659660339 |
| keywords[2].display_name | Mathematics |
| keywords[3].id | https://openalex.org/keywords/transfer |
| keywords[3].score | 0.5287660360336304 |
| keywords[3].display_name | Transfer (computing) |
| keywords[4].id | https://openalex.org/keywords/upper-and-lower-bounds |
| keywords[4].score | 0.42695802450180054 |
| keywords[4].display_name | Upper and lower bounds |
| keywords[5].id | https://openalex.org/keywords/discrete-mathematics |
| keywords[5].score | 0.39197492599487305 |
| keywords[5].display_name | Discrete mathematics |
| keywords[6].id | https://openalex.org/keywords/pure-mathematics |
| keywords[6].score | 0.36936885118484497 |
| keywords[6].display_name | Pure mathematics |
| keywords[7].id | https://openalex.org/keywords/algebra-over-a-field |
| keywords[7].score | 0.3591858744621277 |
| keywords[7].display_name | Algebra over a field |
| keywords[8].id | https://openalex.org/keywords/computer-science |
| keywords[8].score | 0.34017109870910645 |
| keywords[8].display_name | Computer science |
| keywords[9].id | https://openalex.org/keywords/natural-language-processing |
| keywords[9].score | 0.33617928624153137 |
| keywords[9].display_name | Natural language processing |
| keywords[10].id | https://openalex.org/keywords/medicine |
| keywords[10].score | 0.06502014398574829 |
| keywords[10].display_name | Medicine |
| keywords[11].id | https://openalex.org/keywords/mathematical-analysis |
| keywords[11].score | 0.045904189348220825 |
| keywords[11].display_name | Mathematical analysis |
| language | en |
| locations[0].id | pmh:oai:arXiv.org:1511.02935 |
| locations[0].is_oa | True |
| locations[0].source.id | https://openalex.org/S4306400194 |
| locations[0].source.issn | |
| locations[0].source.type | repository |
| locations[0].source.is_oa | True |
| locations[0].source.issn_l | |
| locations[0].source.is_core | False |
| locations[0].source.is_in_doaj | False |
| locations[0].source.display_name | arXiv (Cornell University) |
| locations[0].source.host_organization | https://openalex.org/I205783295 |
| locations[0].source.host_organization_name | Cornell University |
| locations[0].source.host_organization_lineage | https://openalex.org/I205783295 |
| locations[0].license | |
| locations[0].pdf_url | https://arxiv.org/pdf/1511.02935 |
| locations[0].version | submittedVersion |
| locations[0].raw_type | |
| locations[0].license_id | |
| locations[0].is_accepted | False |
| locations[0].is_published | False |
| locations[0].raw_source_name | |
| locations[0].landing_page_url | http://arxiv.org/abs/1511.02935 |
| locations[1].id | doi:10.48550/arxiv.1511.02935 |
| locations[1].is_oa | True |
| locations[1].source.id | https://openalex.org/S4306400194 |
| locations[1].source.issn | |
| locations[1].source.type | repository |
| locations[1].source.is_oa | True |
| locations[1].source.issn_l | |
| locations[1].source.is_core | False |
| locations[1].source.is_in_doaj | False |
| locations[1].source.display_name | arXiv (Cornell University) |
| locations[1].source.host_organization | https://openalex.org/I205783295 |
| locations[1].source.host_organization_name | Cornell University |
| locations[1].source.host_organization_lineage | https://openalex.org/I205783295 |
| locations[1].license | |
| locations[1].pdf_url | |
| locations[1].version | |
| locations[1].raw_type | article |
| locations[1].license_id | |
| locations[1].is_accepted | False |
| locations[1].is_published | |
| locations[1].raw_source_name | |
| locations[1].landing_page_url | https://doi.org/10.48550/arxiv.1511.02935 |
| indexed_in | arxiv, datacite |
| authorships[0].author.id | https://openalex.org/A5063970932 |
| authorships[0].author.orcid | https://orcid.org/0000-0002-5398-3077 |
| authorships[0].author.display_name | Will Boney |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | Boney, Will |
| authorships[0].is_corresponding | False |
| authorships[1].author.id | https://openalex.org/A5041019731 |
| authorships[1].author.orcid | https://orcid.org/0000-0002-9465-7569 |
| authorships[1].author.display_name | John R. Baldwin |
| authorships[1].author_position | last |
| authorships[1].raw_author_name | Baldwin, John |
| authorships[1].is_corresponding | False |
| has_content.pdf | True |
| has_content.grobid_xml | True |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://arxiv.org/pdf/1511.02935 |
| open_access.oa_status | green |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-10-10T00:00:00 |
| display_name | Hanf Numbers and Presentation Theorems in AECs |
| has_fulltext | True |
| is_retracted | False |
| updated_date | 2025-11-06T06:51:31.235846 |
| primary_topic.id | https://openalex.org/T11151 |
| primary_topic.field.id | https://openalex.org/fields/26 |
| primary_topic.field.display_name | Mathematics |
| primary_topic.score | 0.9987999796867371 |
| primary_topic.domain.id | https://openalex.org/domains/3 |
| primary_topic.domain.display_name | Physical Sciences |
| primary_topic.subfield.id | https://openalex.org/subfields/2608 |
| primary_topic.subfield.display_name | Geometry and Topology |
| primary_topic.display_name | Advanced Topology and Set Theory |
| related_works | https://openalex.org/W4256429076, https://openalex.org/W1971174658, https://openalex.org/W4387426029, https://openalex.org/W2099195351, https://openalex.org/W4254162896, https://openalex.org/W4388792380, https://openalex.org/W1477999932, https://openalex.org/W4386731653, https://openalex.org/W2376001620, https://openalex.org/W2925303117 |
| cited_by_count | 0 |
| locations_count | 2 |
| best_oa_location.id | pmh:oai:arXiv.org:1511.02935 |
| best_oa_location.is_oa | True |
| best_oa_location.source.id | https://openalex.org/S4306400194 |
| best_oa_location.source.issn | |
| best_oa_location.source.type | repository |
| best_oa_location.source.is_oa | True |
| best_oa_location.source.issn_l | |
| best_oa_location.source.is_core | False |
| best_oa_location.source.is_in_doaj | False |
| best_oa_location.source.display_name | arXiv (Cornell University) |
| best_oa_location.source.host_organization | https://openalex.org/I205783295 |
| best_oa_location.source.host_organization_name | Cornell University |
| best_oa_location.source.host_organization_lineage | https://openalex.org/I205783295 |
| best_oa_location.license | |
| best_oa_location.pdf_url | https://arxiv.org/pdf/1511.02935 |
| best_oa_location.version | submittedVersion |
| best_oa_location.raw_type | |
| best_oa_location.license_id | |
| best_oa_location.is_accepted | False |
| best_oa_location.is_published | False |
| best_oa_location.raw_source_name | |
| best_oa_location.landing_page_url | http://arxiv.org/abs/1511.02935 |
| primary_location.id | pmh:oai:arXiv.org:1511.02935 |
| primary_location.is_oa | True |
| primary_location.source.id | https://openalex.org/S4306400194 |
| primary_location.source.issn | |
| primary_location.source.type | repository |
| primary_location.source.is_oa | True |
| primary_location.source.issn_l | |
| primary_location.source.is_core | False |
| primary_location.source.is_in_doaj | False |
| primary_location.source.display_name | arXiv (Cornell University) |
| primary_location.source.host_organization | https://openalex.org/I205783295 |
| primary_location.source.host_organization_name | Cornell University |
| primary_location.source.host_organization_lineage | https://openalex.org/I205783295 |
| primary_location.license | |
| primary_location.pdf_url | https://arxiv.org/pdf/1511.02935 |
| primary_location.version | submittedVersion |
| primary_location.raw_type | |
| primary_location.license_id | |
| primary_location.is_accepted | False |
| primary_location.is_published | False |
| primary_location.raw_source_name | |
| primary_location.landing_page_url | http://arxiv.org/abs/1511.02935 |
| publication_date | 2015-11-09 |
| publication_year | 2015 |
| referenced_works_count | 0 |
| abstract_inverted_index.a | 3, 12, 31 |
| abstract_inverted_index.To | 26 |
| abstract_inverted_index.We | 0 |
| abstract_inverted_index.an | 8 |
| abstract_inverted_index.in | 18 |
| abstract_inverted_index.is | 7, 37 |
| abstract_inverted_index.of | 47, 55 |
| abstract_inverted_index.and | 23 |
| abstract_inverted_index.for | 11, 15 |
| abstract_inverted_index.has | 43 |
| abstract_inverted_index.the | 44, 53 |
| abstract_inverted_index.AECs | 19 |
| abstract_inverted_index.Hanf | 13 |
| abstract_inverted_index.This | 39 |
| abstract_inverted_index.both | 21 |
| abstract_inverted_index.etc. | 17 |
| abstract_inverted_index.than | 35 |
| abstract_inverted_index.that | 2 |
| abstract_inverted_index.{\it | 49 |
| abstract_inverted_index.added | 45 |
| abstract_inverted_index.being | 48 |
| abstract_inverted_index.bound | 10 |
| abstract_inverted_index.prove | 1, 28 |
| abstract_inverted_index.upper | 9 |
| abstract_inverted_index.using | 20 |
| abstract_inverted_index.which | 51 |
| abstract_inverted_index.allows | 52 |
| abstract_inverted_index.number | 14 |
| abstract_inverted_index.compact | 5 |
| abstract_inverted_index.needed. | 38 |
| abstract_inverted_index.theorem | 34, 42 |
| abstract_inverted_index.Shelah's | 36 |
| abstract_inverted_index.cardinal | 6 |
| abstract_inverted_index.methods. | 25 |
| abstract_inverted_index.semantic | 22 |
| abstract_inverted_index.strongly | 4 |
| abstract_inverted_index.transfer | 54 |
| abstract_inverted_index.advantage | 46 |
| abstract_inverted_index.different | 32 |
| abstract_inverted_index.syntactic | 24 |
| abstract_inverted_index.relational | 40 |
| abstract_inverted_index.functorial}, | 50 |
| abstract_inverted_index.non-disjoint | 29 |
| abstract_inverted_index.presentation | 33, 41 |
| abstract_inverted_index.amalgamation, | 16, 30 |
| abstract_inverted_index.amalgamation. | 56 |
| abstract_inverted_index.syntactically | 27 |
| cited_by_percentile_year | |
| countries_distinct_count | 0 |
| institutions_distinct_count | 2 |
| sustainable_development_goals[0].id | https://metadata.un.org/sdg/10 |
| sustainable_development_goals[0].score | 0.49000000953674316 |
| sustainable_development_goals[0].display_name | Reduced inequalities |
| citation_normalized_percentile |