{"id":"https://openalex.org/W1602468687","doi":"https://doi.org/10.31274/rtd-180813-11582","title":"Forcing in set theory and its applications to topology","display_name":"Forcing in set theory and its applications to topology","publication_year":1986,"publication_date":"1986-01-01","ids":{"openalex":"https://openalex.org/W1602468687","doi":"https://doi.org/10.31274/rtd-180813-11582","mag":"1602468687"},"language":"en","primary_location":{"id":"doi:10.31274/rtd-180813-11582","is_oa":true,"landing_page_url":"https://doi.org/10.31274/rtd-180813-11582","pdf_url":"https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=9259&context=rtd","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Iowa State University, Digital Repository","raw_type":"dissertation"},"type":"dissertation","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=9259&context=rtd","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028285276","display_name":"Kyriakos Keremedis","orcid":"https://orcid.org/0000-0001-8453-3477"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Kyriakos Keremedis","raw_affiliation_strings":["Iowa State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Iowa State University","institution_ids":["https://openalex.org/I173911158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5028285276"],"corresponding_institution_ids":["https://openalex.org/I173911158"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.8374000191688538,"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"}},"topics":[{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.8374000191688538,"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/T12536","display_name":"Topological and Geometric Data Analysis","score":0.7520999908447266,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.7408999800682068,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/forcing","display_name":"Forcing (mathematics)","score":0.7175504565238953},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.6400564312934875},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.524974524974823},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.4510558843612671},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.38162481784820557},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.35743391513824463},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.16631951928138733},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.12760791182518005},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.055216699838638306}],"concepts":[{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.7175504565238953},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.6400564312934875},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.524974524974823},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.4510558843612671},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38162481784820557},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.35743391513824463},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.16631951928138733},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.12760791182518005},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.055216699838638306}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.31274/rtd-180813-11582","is_oa":true,"landing_page_url":"https://doi.org/10.31274/rtd-180813-11582","pdf_url":"https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=9259&context=rtd","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Iowa State University, Digital Repository","raw_type":"dissertation"},{"id":"pmh:oai:lib.dr.iastate.edu:rtd-9259","is_oa":false,"landing_page_url":"https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=9259&context=rtd","pdf_url":null,"source":{"id":"https://openalex.org/S4377196104","display_name":"Iowa State University Digital Repository (Iowa State University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I173911158","host_organization_name":"Iowa State University","host_organization_lineage":["https://openalex.org/I173911158"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Retrospective Theses and Dissertations","raw_type":"text"}],"best_oa_location":{"id":"doi:10.31274/rtd-180813-11582","is_oa":true,"landing_page_url":"https://doi.org/10.31274/rtd-180813-11582","pdf_url":"https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=9259&context=rtd","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Iowa State University, Digital Repository","raw_type":"dissertation"},"sustainable_development_goals":[{"display_name":"Climate action","score":0.47999998927116394,"id":"https://metadata.un.org/sdg/13"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W976787978","https://openalex.org/W1419765877","https://openalex.org/W1781706428","https://openalex.org/W1898322248","https://openalex.org/W1966218160","https://openalex.org/W2018533444","https://openalex.org/W2071605402","https://openalex.org/W2296599830","https://openalex.org/W2578937647"],"related_works":["https://openalex.org/W573961896","https://openalex.org/W369254667","https://openalex.org/W372882296","https://openalex.org/W4205597451","https://openalex.org/W2378801550","https://openalex.org/W2594069757","https://openalex.org/W4237501179","https://openalex.org/W4360891774","https://openalex.org/W4206905038","https://openalex.org/W4366779921"],"abstract_inverted_index":{"This":[0],"dissertation":[1],"consists":[2,66],"of":[3,37,50,60,70,73,77,89,211,217,245,267,273,282,317,352,373,376,383,386,392],"two":[4],"parts.":[5],"The":[6],"first":[7,35,82],"seven":[8],"sections":[9],"are":[10,23,388],"concerned":[11],"with":[12,19],"Set":[13,31],"Theory":[14],"and":[15,46,235,354,378],"the":[16,26,34,48,51,57,68,81,90,96,202,209,212,218,223,337,356,370,384],"last":[17,338],"four":[18],"Topology.":[20],"These":[21],"parts":[22],"linked":[24],"by":[25,95],"recent":[27],"developments":[28],"in":[29,67,206,249,295],"Axiomatic":[30],"Theory.":[32],"In":[33,247,340],"part":[36],"our":[38],"work":[39],"we":[40,84,221,239,252,298,347],"develop":[41,86],"a":[42,71,87,105,127,132,145,155,260,264,288,305,315,323,333,374],"new":[43,367],"forcing":[44,92,203],"language":[45,93],"use":[47],"notion":[49],"hereditarily":[52,308],"symmetric":[53],"sets":[54],"to":[55,75,336],"prove":[56,240,299,328,355],"relative":[58],"consistency":[59],"ZF('-)":[61,74,78],"+":[62,79,256,302,331],"(IL-PERP)AC.":[63],"Our":[64],"method":[65],"reduction":[69],"model":[72],"that":[76,201,258,304,359,381],"(IL-PERP)AC;In":[80],"part,":[83,220],"also":[85,327,364],"variant":[88],"unramified":[91],"defined":[94,205],"following":[97],"five":[98],"clauses.":[99],"(UNFORMATTED":[100],"TABLE":[101],"FOLLOWS);":[102],"(1)":[103],"p":[104,112,131,139,161,167,172,182,189],"(ELEM)":[106,123,144,158],"b":[107,124,134],"iff":[108,135,163,176,185],"((FOR":[109,136,164,186],"ALL)h)(h":[110,137,165,187],"(LESSTHEQ)":[111,117,138,166,188,193],"(--->)":[113,140,168,190],"((THERE":[114,119,183,191,196],"EXISTS)c)((THERE":[115],"EXISTS)m":[116],"h);":[118],"EXISTS)q":[120],"(GREATERTHEQ)":[121],"m)((c,q)":[122],"(WEDGE)":[125,146,156],"m":[126],"=":[128,133],"c);":[129],"(2)":[130],"(IL-PERP)((THERE":[141],"EXISTS)c)(h;":[142],"((c":[143],"c":[147,157],"(NOT":[148,153],"ELEM)":[149,154],"b)":[150],"V":[151,174,179],"(c":[152],"b)));":[159],"(3)":[160],"(IL-PERP)Q":[162],"(IL-PERP)(h":[169],"Q));":[170],"(4)":[171],"(Q":[173],"S)":[175],"(p":[177,180],"Q)":[178],"S);(5)":[181],"EXISTS)x)Q(x)":[184],"EXISTS)m)(m":[192],"h":[194],"(WEDGE);":[195],"EXISTS)b)(m":[197],"Q(b))).(TABLE":[198],"ENDS);We":[199],"show":[200,253,380],"as":[204],"(1)-(5)":[207],"preserves":[208],"law":[210],"double":[213],"negation;In":[214],"Section":[215,341],"9":[216],"second":[219],"introduce":[222,348,365],"E-spaces":[224],"which":[225,274],"satisfy":[226],"separation":[227],"conditions":[228],"weaker":[229,350],"than":[230,285],"normality.":[231],"Then":[232],"using":[233],"Martin's":[234,237],"generalized":[236],"axioms":[238],"some":[241,349,366,382],"theorems":[242],"concerning":[243],"normality":[244],"E-spaces.":[246],"particular":[248],"Theorem":[250],"31":[251],"under":[254,300,329,390],"GMA":[255,330],"CH":[257],"if":[259],"space":[261,312],"X":[262],"has":[263,275],"dense":[265,294],"subset":[266,272],"cardinality":[268,283,345],"(omega)(,1),":[269],"every":[270,279],"infinite":[271],"an":[276],"A-point,":[277],"then":[278,379],"open":[280,320],"cover":[281],"less":[284],"2('(omega))1,":[286],"contains":[287],"countable":[289],"subcollection":[290],"whose":[291],"union":[292],"is":[293,322],"X.":[296],"Later":[297],"MA":[301],"(IL-PERP)CH":[303],"regular,":[306],"E(,3),":[307],"separable,":[309],"countably":[310],"compact":[311],"X,":[313],"having":[314],"base":[316],"<2('(omega))":[318],"many":[319],"sets,":[321],"T(,4)":[324],"space.":[325],"We":[326,363],"CH,":[332],"result":[334],"similar":[335],"one.":[339],"10":[342],"based":[343],"on":[344,369],"considerations":[346],"versions":[351],"compactness":[353,387],"various":[357],"implications":[358],"hold":[360],"among":[361],"them.":[362],"topologies":[368],"Cartesian":[371],"product":[372],"family":[375],"spaces":[377],"notions":[385],"preserved":[389],"products":[391],"certain":[393],"cardinalities.":[394]},"counts_by_year":[],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}