About: Choice sequence

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageExternalLink	http://homepages.inf.ed.ac.uk/mfourman/research/publications/pdf/fourman82-notions-of-choice-sequence.pdf https://www.hf.uio.no/ifikk/english/research/projects/cl/events/conferences/slides-potensialism/reals-slides.pdf
dbo:wikiPageWikiLink	dbr:Primitive_recursive_function dbr:Function_(mathematics) dbr:Algorithm dbc:Constructivism_(mathematics) dbr:Axiom dbr:Numbering_(computability_theory) dbr:Dice dbr:Sequence dbr:L._E._J._Brouwer dbr:A_priori_and_a_posteriori dbr:Intuitionism dbr:One-place_predicate dbr:Constructivism_(mathematics) dbr:Natural_numbers dbr:Completed_infinity
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Cite_web dbt:Reflist dbt:Cite_journal dbt:Sfn dbt:Refend dbt:Refbegin dbt:Annotated_link
dct:subject	dbc:Constructivism_(mathematics)
gold:hypernym	dbr:Formulation
rdfs:label	Choice sequence (en)
owl:sameAs	freebase:Choice sequence wikidata:Choice sequence dbpedia-global:Choice sequence
prov:wasDerivedFrom	wikipedia-en:Choice_sequence?oldid=1292997156&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Choice_sequence
is dbo:wikiPageRedirects of	dbr:Free_choice_sequences
is dbo:wikiPageWikiLink of	dbr:Bar_induction dbr:Index_of_philosophy_articles_(A–C) dbr:Anne_Sjerp_Troelstra dbr:Heyting_arithmetic dbr:Mathematical_analysis dbr:Constructive_set_theory dbr:Actual_infinity dbr:Spread_(intuitionism) dbr:Free_choice_sequences
is foaf:primaryTopic of	wikipedia-en:Choice_sequence

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International