{"id":"https://openalex.org/W2013452787","doi":"https://doi.org/10.2307/2275598","title":"Two remarks on the Lifschitz realizability topos","display_name":"Two remarks on the Lifschitz realizability topos","publication_year":1996,"publication_date":"1996-03-01","ids":{"openalex":"https://openalex.org/W2013452787","doi":"https://doi.org/10.2307/2275598","mag":"2013452787"},"language":"en","primary_location":{"id":"doi:10.2307/2275598","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275598","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/A5005056951","display_name":"Jaap van Oosten","orcid":null},"institutions":[{"id":"https://openalex.org/I173063890","display_name":"University of Applied Sciences Utrecht","ror":"https://ror.org/028z9kw20","country_code":"NL","type":"education","lineage":["https://openalex.org/I173063890"]},{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Jaap Van Oosten","raw_affiliation_strings":["Department of Mathematics, University of Utrecht, P.O. Box 80.010, 3508 Ta, Utrecht, The Netherlands, E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Utrecht, P.O. Box 80.010, 3508 Ta, Utrecht, The Netherlands, E-mail:","institution_ids":["https://openalex.org/I173063890","https://openalex.org/I193662353"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5005056951"],"corresponding_institution_ids":["https://openalex.org/I173063890","https://openalex.org/I193662353"],"apc_list":{"value":3550,"currency":"USD","value_usd":3550},"apc_paid":null,"fwci":0.4917,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.63473831,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"61","issue":"1","first_page":"70","last_page":"79"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9959999918937683,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9959999918937683,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9908999800682068,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.9872000217437744,"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/realizability","display_name":"Realizability","score":0.8050729036331177},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6982154846191406},{"id":"https://openalex.org/keywords/topos-theory","display_name":"Topos theory","score":0.6095738410949707},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5369901657104492},{"id":"https://openalex.org/keywords/arithmetic-function","display_name":"Arithmetic function","score":0.5199045538902283},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5141487717628479},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.5124409794807434},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.4986562728881836},{"id":"https://openalex.org/keywords/peano-axioms","display_name":"Peano axioms","score":0.4866810441017151},{"id":"https://openalex.org/keywords/primitive-recursive-function","display_name":"Primitive recursive function","score":0.46902740001678467},{"id":"https://openalex.org/keywords/natural-number","display_name":"Natural number","score":0.46829572319984436},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4117200970649719},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.371993750333786},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.35753333568573},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.14518973231315613},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.10642808675765991}],"concepts":[{"id":"https://openalex.org/C2776378722","wikidata":"https://www.wikidata.org/wiki/Q3454417","display_name":"Realizability","level":2,"score":0.8050729036331177},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6982154846191406},{"id":"https://openalex.org/C182141236","wikidata":"https://www.wikidata.org/wiki/Q2143621","display_name":"Topos theory","level":2,"score":0.6095738410949707},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5369901657104492},{"id":"https://openalex.org/C112343008","wikidata":"https://www.wikidata.org/wiki/Q140744","display_name":"Arithmetic function","level":2,"score":0.5199045538902283},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5141487717628479},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.5124409794807434},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.4986562728881836},{"id":"https://openalex.org/C97489613","wikidata":"https://www.wikidata.org/wiki/Q842755","display_name":"Peano axioms","level":2,"score":0.4866810441017151},{"id":"https://openalex.org/C9986523","wikidata":"https://www.wikidata.org/wiki/Q1570472","display_name":"Primitive recursive function","level":2,"score":0.46902740001678467},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.46829572319984436},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4117200970649719},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.371993750333786},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35753333568573},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.14518973231315613},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.10642808675765991},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2275598","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275598","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/1183744927","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183744927","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":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.5600000023841858}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W203289805","https://openalex.org/W1514349410","https://openalex.org/W1539702044","https://openalex.org/W1991146937","https://openalex.org/W2086061699","https://openalex.org/W2094410575","https://openalex.org/W2161023112","https://openalex.org/W2291208220","https://openalex.org/W2495540235","https://openalex.org/W4243933121","https://openalex.org/W6667066810"],"related_works":["https://openalex.org/W2065703620","https://openalex.org/W2063064015","https://openalex.org/W2171255643","https://openalex.org/W1616114834","https://openalex.org/W2536088897","https://openalex.org/W2535647996","https://openalex.org/W1986380412","https://openalex.org/W4366809670","https://openalex.org/W152436210","https://openalex.org/W197391499"],"abstract_inverted_index":{"The":[0,34,158],"purpose":[1],"of":[2,20,29,48,82,95,114,151,167,182,185,204,214,218,224,236,253,259,284,302,304],"this":[3,201],"note":[4],"is":[5,26,44,85,99,177,196,203],"to":[6,38,179,198,207,241,267],"clarify":[7],"two":[8,83,139],"points":[9,35],"about":[10],"the":[11,45,50,78,103,110,121,126,165,186,234,296,300,305],"topos":[12,32],"Lif,":[13],"introduced":[14],"in":[15,101,164,211,244,261,309],"[13]":[16],"as":[17,77],"a":[18,27,87,93,180,212,216,250,256],"generalization":[19],"Lifschitz'":[21],"realizability":[22],"([9,":[23],"12]).":[24],"Lif":[25,43,128,135,278],"subtopos":[28,47,94],"Hyland's":[30],"Effective":[31],"([1]).":[33],"I":[36],"want":[37],"make":[39],"are:":[40],"Remark":[41,131,274],"1.":[42],"largest":[46],"satisfying":[49],"axiom":[51,223],"(O):":[52],"where":[53],"denotes":[54],"partial":[55],"recursive":[56,71],"application,":[57],"and":[58,64,118,153,255,293],"\u201c\u2208":[59],"Tot\u201d":[60],"means":[61],"that":[62,175,200,277,299],"e":[63],"f":[65],"range":[66,108],"over":[67,109],"codes":[68],"for":[69,102,190,227,233,312],"total":[70],"functions.":[72],"One":[73],"may":[74,264],"read":[75],"(O)":[76,98,160,176],"statement":[79],"\u201cThe":[80],"union":[81],"-sets":[84],"again":[86],"-set\u201d.":[88],"That":[89],"is,":[90],"let":[91],"be":[92,265],".":[96,130],"Then":[97],"true":[100],"standard":[104],"interpretation":[105],"(the":[106],"variables":[107],"natural":[111],"numbers":[112],"object":[113],",":[115,134],"etc.)":[116],"if":[117,120],"only":[119],"inclusion":[122,127],"\u21a3":[123,129],"factors":[124],"through":[125],"2.":[132],"Like":[133],"contains":[136],"at":[137,231],"least":[138,232],"weakly":[140],"complete":[141],"internal":[142],"full":[143],"subcategories,":[144],"thus":[145],"providing":[146],"us":[147,281],"with":[148,221,282,295],"more":[149],"models":[150,283],"polymorphism":[152],"other":[154],"impredicative":[155],"type":[156],"theories.":[157],"principle":[159],"has":[161,173],"some":[162],"standing":[163],"history":[166],"constructive":[168],"mathematics:":[169],"-":[170,272],"H.":[171],"Friedman":[172,209],"proved":[174],"equivalent":[178],"formulation":[181],"intuitionistic":[183,187],"completeness":[184],"predicate":[188],"calculus":[189],"Tarskian":[191],"semantics;":[192],"see":[193,291],"[8].":[194],"This":[195],"not":[197],"imply":[199],"result":[202],"immediate":[205],"relevance":[206],"Lif:":[208],"works":[210],"system":[213,258],"analysis,":[215,260],"theory":[217,287],"lawless":[219],"sequences":[220],"an":[222,289],"\u201copen":[225],"data\u201d":[226],"arithmetical":[228],"formulas,":[229],"which":[230,262],"domain":[235,286],"all":[237],"functions":[238],"from":[239],"N":[240,242],"fails":[243],"Lif.":[245],"However,":[246],"there":[247],"might":[248],"exist":[249],"\u201cnonstandard":[251],"model\u201d":[252],"arithmetic":[254],"corresponding":[257],"we":[263],"able":[266],"carry":[268],"out":[269],"his":[270],"proof.":[271],"Moreover,":[273],"2":[275],"entails":[276],"should":[279],"provide":[280],"synthetic":[285],"(for":[288],"exposition,":[290],"[3]),":[292],"one":[294,303],"nice":[297],"property":[298],"dual":[301],"axioms":[306],"(axiom":[307],"7":[308],"[3])":[310],"comes":[311],"free,":[313],"by":[314],"(O).":[315]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}