About: Bounded quantifier

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Logical quantification that ranges over a subset of the universe of discourse

Property	Value
dbo:description	logical quantification that ranges over a subset of the universe of discourse (en)
dbo:wikiPageExternalLink	https://archive.org/details/settheoryintrodu0000kune
dbo:wikiPageWikiLink	dbr:System_F dbr:System_F-sub dbr:Subtyping dbc:Computability_theory dbr:Prime_number dbc:Proof_theory dbr:Real_analysis dbr:Real_number dbc:Quantifier_(logic) dbr:Decidability_(logic) dbr:Polynomial_hierarchy dbr:Type_theory dbr:Typed_lambda_calculus dbr:Sentence_(mathematical_logic) dbr:Zermelo–Fraenkel_set_theory dbr:Arithmetical_hierarchy dbr:Impredicativity dbr:Lévy_hierarchy dbr:Kripke–Platek_set_theory dbr:Mathematical_logic dbr:Context-sensitive_grammar dbr:Second-order_arithmetic dbr:Constructive_set_theory dbr:Axiom_schema_of_predicative_separation dbr:Recursion_theory dbr:ELEMENTARY dbr:Peano_arithmetic dbr:Powerset dbr:Primitive_recursive
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:About dbt:Short_description
dct:subject	dbc:Computability_theory dbc:Proof_theory dbc:Quantifier_(logic)
rdfs:label	Bounded quantifier (en) Quantificador Delimitado (pt)
owl:sameAs	freebase:Bounded quantifier wikidata:Bounded quantifier dbpedia-pt:Bounded quantifier dbpedia-global:Bounded quantifier dbr:Bounded quantifier
prov:wasDerivedFrom	wikipedia-en:Bounded_quantifier?oldid=1215881588&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Bounded_quantifier
is dbo:wikiPageRedirects of	dbr:Bounded_quantifiers
is dbo:wikiPageWikiLink of	dbr:Transfer_principle dbr:Quantifier_(logic) dbr:First-order_logic dbr:Arithmetical_hierarchy dbr:Post's_theorem dbr:Transitive_set dbr:Mathematical_induction dbr:Effective_descriptive_set_theory dbr:Glossary_of_set_theory dbr:Kripke–Platek_set_theory dbr:Bounded_quantifiers dbr:Disjunction_and_existence_properties dbr:Adequate_pointclass dbr:Elementary_function_arithmetic dbr:Constructive_set_theory
is foaf:primaryTopic of	wikipedia-en:Bounded_quantifier

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