Pages that link to "Item:Q912082"
From MaRDI portal
The following pages link to Decision procedures for elementary sublanguages of set theory. XV: Multilevel syllogistic extended by the predicate Finite and the operators singleton and \(pred_ <\) (Q912082):
Displaying 12 items.
- A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions (Q477206) (← links)
- Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators (Q810489) (← links)
- Decision procedures for elementary sublanguages of set theory: XI. Multilevel syllogistic extended by some elementary map constructs (Q810491) (← links)
- Decision procedures for elementary sublanguages of set theory: XII. Multilevel syllogistic extended with singleton and choice operators (Q810492) (← links)
- Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability (Q810494) (← links)
- Complexity assessments for decidable fragments of set theory. II: A taxonomy for `small' languages involving membership (Q2215960) (← links)
- Formative processes with applications to the decision problem in set theory. II. Powerset and singleton operators, finiteness predicate (Q2252530) (← links)
- (Q3437734) (← links)
- Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator (Q3705420) (← links)
- Decision procedures for elementary sublanguages of set theory VII. Validity in set theory when a choice operator is present (Q3803085) (← links)
- (Q4508546) (← links)
- A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions1 1This research has been partially supported by MURST Grant prot. 2001017741 under project “Ragionamento su aggregati e numeri a supporto del (Q4916221) (← links)
