{"id":"https://openalex.org/W2962804016","doi":"https://doi.org/10.2178/jsl/1190150286","title":"IKP and friends","display_name":"IKP and friends","publication_year":2002,"publication_date":"2002-12-01","ids":{"openalex":"https://openalex.org/W2962804016","doi":"https://doi.org/10.2178/jsl/1190150286","mag":"2962804016"},"language":"en","primary_location":{"id":"doi:10.2178/jsl/1190150286","is_oa":false,"landing_page_url":"https://doi.org/10.2178/jsl/1190150286","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/A5027721938","display_name":"Robert S. Lubarsky","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Robert S. Lubarsky","raw_affiliation_strings":["1755 Ne 18TH St. Ft. Lauderdale, Fl 33305, USA, E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"1755 Ne 18TH St. Ft. Lauderdale, Fl 33305, USA, E-mail:","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5027721938"],"corresponding_institution_ids":[],"apc_list":{"value":3550,"currency":"USD","value_usd":3550},"apc_paid":null,"fwci":0.5257,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.81243389,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"67","issue":"4","first_page":"1295","last_page":"1322"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11727","display_name":"Advanced Algebra and Logic","score":0.968500018119812,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9520999789237976,"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/forcing","display_name":"Forcing (mathematics)","score":0.8141775131225586},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6110315918922424},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5731465220451355},{"id":"https://openalex.org/keywords/subject","display_name":"Subject (documents)","score":0.47127291560173035},{"id":"https://openalex.org/keywords/section","display_name":"Section (typography)","score":0.4504009485244751},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.44847744703292847},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.40440040826797485},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.36121973395347595},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.34516263008117676},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.32815802097320557},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.3224586844444275},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.12294283509254456},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.08024320006370544}],"concepts":[{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.8141775131225586},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6110315918922424},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5731465220451355},{"id":"https://openalex.org/C2777855551","wikidata":"https://www.wikidata.org/wiki/Q12310021","display_name":"Subject (documents)","level":2,"score":0.47127291560173035},{"id":"https://openalex.org/C2780129039","wikidata":"https://www.wikidata.org/wiki/Q1931107","display_name":"Section (typography)","level":2,"score":0.4504009485244751},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44847744703292847},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.40440040826797485},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.36121973395347595},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.34516263008117676},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.32815802097320557},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3224586844444275},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.12294283509254456},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.08024320006370544},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","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},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2178/jsl/1190150286","is_oa":false,"landing_page_url":"https://doi.org/10.2178/jsl/1190150286","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/1190150286","is_oa":false,"landing_page_url":"https://projecteuclid.org/euclid.jsl/1190150286","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W40029885","https://openalex.org/W126568045","https://openalex.org/W579310045","https://openalex.org/W1965610596","https://openalex.org/W2052161854","https://openalex.org/W2085462264","https://openalex.org/W4293117209"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2560853036","https://openalex.org/W2566696415","https://openalex.org/W1563787543","https://openalex.org/W4388258507","https://openalex.org/W4249026152","https://openalex.org/W2392013855","https://openalex.org/W2909241626","https://openalex.org/W2890304493","https://openalex.org/W590015412"],"abstract_inverted_index":{"There":[0,42],"has":[1,13,26,163,195,202],"been":[2,14,27,197,204],"increasing":[3],"interest":[4,119,159],"in":[5,77,219,222],"intuitionistic":[6,19,29,35],"methods":[7,116],"over":[8],"the":[9,85,90,98,101,104,111,136,146,178,189,214,223,230],"years.":[10],"Still,":[11],"there":[12],"relatively":[15],"little":[16],"work":[17],"on":[18,28,237],"set":[20,62],"theory,":[21],"and":[22,37,79,103,124,140,150,169,207],"most":[23,187],"of":[24,39,60,89,118,148,154,158,176,188,200,232,240],"that":[25,68],"ZF.":[30],"This":[31],"investigation":[32],"is":[33,52,107,117,175],"about":[34],"admissibility":[36],"theories":[38,63],"similar":[40],"strength.":[41],"are":[43,93],"several":[44],"more":[45,57,75],"particular":[46],"goals":[47],"for":[48,87,122,182],"this":[49,183],"paper.":[50],"One":[51],"just":[53],"to":[54,160,165,193],"get":[55],"some":[56,125,172,199,235],"Kripke":[58,105,141],"models":[59],"various":[61],"out":[64],"there.":[65],"Those":[66],"papers":[67],"have":[69],"dealt":[70],"with":[71],"IZF":[72],"usually":[73],"were":[74],"proof-theoretic":[76],"nature,":[78],"did":[80],"not":[81,108,203],"provide":[82],"models.":[83],"Furthermore,":[84],"inspirations":[86],"many":[88],"constructions":[91,106],"here":[92,194],"classical":[94,190,224],"forcing":[95,102,139],"arguments.":[96],"Although":[97],"correspondence":[99],"between":[100,113,138],"made":[109],"tight,":[110],"relationship":[112,137],"these":[114],"two":[115],"(see":[120],"[6]":[121],"instance)":[123],"examples,":[126],"even":[127,209,217],"if":[128],"only":[129],"suggestive,":[130],"should":[131],"help":[132],"us":[133],"better":[134],"understand":[135],"constructions.":[142],"Along":[143],"different":[144],"lines,":[145],"subject":[147],"least":[149],"greatest":[151],"fixed":[152,238],"points":[153,239],"inductive":[155,241],"definitions,":[156],"while":[157,186],"computer":[161],"scientists,":[162],"yet":[164],"be":[166,210],"studied":[167],"constructively,":[168],"probably":[170],"holds":[171],"surprises.":[173],"Admissibility":[174],"course":[177],"proper":[179],"set-theoretic":[180],"context":[181],"study.":[184],"Finally,":[185],"material":[191],"referred":[192],"long":[196],"standard,":[198],"it":[201],"well":[205],"codified":[206],"may":[208],"unknown,":[211],"so":[212],"along":[213],"way":[215],"we'll":[216],"fill":[218],"a":[220],"gap":[221],"literature.":[225],"The":[226],"next":[227],"section":[228],"develops":[229],"basics":[231],"IKP,":[233],"including":[234],"remarks":[236],"definitions.":[242]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2019-07-30T00:00:00"}