Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000644799> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2000644799 endingPage "242" @default.
- W2000644799 startingPage "215" @default.
- W2000644799 abstract "In this paper we solve the satisfiability problem for the quantifier-free fragment of set theory MLSSPF involving in addition to the basic Boolean set operators of union, intersection, and difference, also the powerset and singleton operators, and a finiteness predicate. The more restricted fragment obtained by dropping the finiteness predicate has been shown to have a solvable satisfiability problem in a previous paper, by establishing for it a small model property. We exploit the latter decision result for dealing also with the finiteness predicate (and therefore with the infiniteness predicate too) and prove a small witness-model property for MLSSPF, asserting that any model for a satisfiable formula Φ with m distinct variables of the fragment of our interest admits a finite representation bounded by c(m), where c is a suitable computable function. Since such candidate representations are finitely many, their number does not exceed a known bound, and it can be recognized algorithmically whether they indeed represent a(n infinite) model for the input formula, the decidability of the satisfiability problem for MLSSPF follows." @default.
- W2000644799 created "2016-06-24" @default.
- W2000644799 creator A5045684463 @default.
- W2000644799 creator A5058492032 @default.
- W2000644799 date "2014-10-01" @default.
- W2000644799 modified "2023-10-16" @default.
- W2000644799 title "Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate" @default.
- W2000644799 cites W1534998899 @default.
- W2000644799 cites W1977686940 @default.
- W2000644799 cites W1994011085 @default.
- W2000644799 cites W4233684349 @default.
- W2000644799 doi "https://doi.org/10.1016/j.ic.2014.02.005" @default.
- W2000644799 hasPublicationYear "2014" @default.
- W2000644799 type Work @default.
- W2000644799 sameAs 2000644799 @default.
- W2000644799 citedByCount "4" @default.
- W2000644799 countsByYear W20006447992020 @default.
- W2000644799 countsByYear W20006447992021 @default.
- W2000644799 countsByYear W20006447992022 @default.
- W2000644799 crossrefType "journal-article" @default.
- W2000644799 hasAuthorship W2000644799A5045684463 @default.
- W2000644799 hasAuthorship W2000644799A5058492032 @default.
- W2000644799 hasBestOaLocation W20006447991 @default.
- W2000644799 hasConcept C102993220 @default.
- W2000644799 hasConcept C11413529 @default.
- W2000644799 hasConcept C117354338 @default.
- W2000644799 hasConcept C118615104 @default.
- W2000644799 hasConcept C124656256 @default.
- W2000644799 hasConcept C134306372 @default.
- W2000644799 hasConcept C140146324 @default.
- W2000644799 hasConcept C153269930 @default.
- W2000644799 hasConcept C168773769 @default.
- W2000644799 hasConcept C169896238 @default.
- W2000644799 hasConcept C199360897 @default.
- W2000644799 hasConcept C2776235265 @default.
- W2000644799 hasConcept C2779234561 @default.
- W2000644799 hasConcept C33923547 @default.
- W2000644799 hasConcept C34388435 @default.
- W2000644799 hasConcept C41008148 @default.
- W2000644799 hasConcept C54355233 @default.
- W2000644799 hasConcept C6943359 @default.
- W2000644799 hasConcept C80444323 @default.
- W2000644799 hasConcept C86803240 @default.
- W2000644799 hasConceptScore W2000644799C102993220 @default.
- W2000644799 hasConceptScore W2000644799C11413529 @default.
- W2000644799 hasConceptScore W2000644799C117354338 @default.
- W2000644799 hasConceptScore W2000644799C118615104 @default.
- W2000644799 hasConceptScore W2000644799C124656256 @default.
- W2000644799 hasConceptScore W2000644799C134306372 @default.
- W2000644799 hasConceptScore W2000644799C140146324 @default.
- W2000644799 hasConceptScore W2000644799C153269930 @default.
- W2000644799 hasConceptScore W2000644799C168773769 @default.
- W2000644799 hasConceptScore W2000644799C169896238 @default.
- W2000644799 hasConceptScore W2000644799C199360897 @default.
- W2000644799 hasConceptScore W2000644799C2776235265 @default.
- W2000644799 hasConceptScore W2000644799C2779234561 @default.
- W2000644799 hasConceptScore W2000644799C33923547 @default.
- W2000644799 hasConceptScore W2000644799C34388435 @default.
- W2000644799 hasConceptScore W2000644799C41008148 @default.
- W2000644799 hasConceptScore W2000644799C54355233 @default.
- W2000644799 hasConceptScore W2000644799C6943359 @default.
- W2000644799 hasConceptScore W2000644799C80444323 @default.
- W2000644799 hasConceptScore W2000644799C86803240 @default.
- W2000644799 hasFunder F4320322511 @default.
- W2000644799 hasLocation W20006447991 @default.
- W2000644799 hasLocation W20006447992 @default.
- W2000644799 hasLocation W20006447993 @default.
- W2000644799 hasOpenAccess W2000644799 @default.
- W2000644799 hasPrimaryLocation W20006447991 @default.
- W2000644799 hasRelatedWork W1543051890 @default.
- W2000644799 hasRelatedWork W1582633789 @default.
- W2000644799 hasRelatedWork W2008735821 @default.
- W2000644799 hasRelatedWork W2072122432 @default.
- W2000644799 hasRelatedWork W2094354112 @default.
- W2000644799 hasRelatedWork W2294297515 @default.
- W2000644799 hasRelatedWork W2397546146 @default.
- W2000644799 hasRelatedWork W2789140669 @default.
- W2000644799 hasRelatedWork W2567706123 @default.
- W2000644799 hasRelatedWork W2585890227 @default.
- W2000644799 hasVolume "237" @default.
- W2000644799 isParatext "false" @default.
- W2000644799 isRetracted "false" @default.
- W2000644799 magId "2000644799" @default.
- W2000644799 workType "article" @default.