Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912821425> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2912821425 abstract "Given a regular cardinal $kappa$ such that $kappa^{<kappa}=kappa$ (e.g., if the Generalized Continuum Hypothesis holds), we develop a proof system for classical infinitary logic that includes heterogeneous quantification (i.e., infinite alternate sequences of quantifiers) within the language $mathcal{L}_{kappa^+, kappa}$, where there are conjunctions and disjunctions of at most $kappa$ any formulas and quantification (including the heterogeneous one) is applied to less than $kappa$ many variables. This type of quantification is interpreted in $mathcal{S}et$ using the usual second-order formulation in terms of strategies for games, and the axioms are based on a stronger variant of the axiom of determinacy for game semantics. Within this axiom system we prove the soundness and completeness theorem with respect to a class of set-valued structures that we call well-determined. Although this class is more restrictive than the class of determined structures in Takeuti's determinate logic, the completeness theorem works in our case for a wider variety of formulas of $mathcal{L}_{kappa^+, kappa}$, and the category of well-determined models of heterogeneous theories is accessible. Our system is formulated within the sequent style of categorical logic and we do not need to impose any specific requirements on the proof trees, disregarding thus the eigenvariable conditions needed in Takeuti's system. We also investigate intuitionistic systems with heterogeneous quantifiers and prove analogously a completeness theorem with respect to well-determined structures in categories in general, in $kappa$-Grothendieck toposes in particular, and, when $kappa^{<kappa}=kappa$, also in Kripke models. Finally, we consider an extension of our system in which heterogeneous quantification with bounded quantifiers is expressible, and extend our completeness results to that case." @default.
- W2912821425 created "2019-02-21" @default.
- W2912821425 creator A5033628368 @default.
- W2912821425 date "2019-01-31" @default.
- W2912821425 modified "2023-09-27" @default.
- W2912821425 title "Completeness of infinitary heterogeneous logic" @default.
- W2912821425 cites W1505201046 @default.
- W2912821425 hasPublicationYear "2019" @default.
- W2912821425 type Work @default.
- W2912821425 sameAs 2912821425 @default.
- W2912821425 citedByCount "0" @default.
- W2912821425 crossrefType "posted-content" @default.
- W2912821425 hasAuthorship W2912821425A5033628368 @default.
- W2912821425 hasConcept C118615104 @default.
- W2912821425 hasConcept C134306372 @default.
- W2912821425 hasConcept C151797676 @default.
- W2912821425 hasConcept C153046414 @default.
- W2912821425 hasConcept C154945302 @default.
- W2912821425 hasConcept C167729594 @default.
- W2912821425 hasConcept C17231256 @default.
- W2912821425 hasConcept C177264268 @default.
- W2912821425 hasConcept C199360897 @default.
- W2912821425 hasConcept C200116569 @default.
- W2912821425 hasConcept C2524010 @default.
- W2912821425 hasConcept C2777212361 @default.
- W2912821425 hasConcept C2778724333 @default.
- W2912821425 hasConcept C33923547 @default.
- W2912821425 hasConcept C39920170 @default.
- W2912821425 hasConcept C41008148 @default.
- W2912821425 hasConcept C89507440 @default.
- W2912821425 hasConceptScore W2912821425C118615104 @default.
- W2912821425 hasConceptScore W2912821425C134306372 @default.
- W2912821425 hasConceptScore W2912821425C151797676 @default.
- W2912821425 hasConceptScore W2912821425C153046414 @default.
- W2912821425 hasConceptScore W2912821425C154945302 @default.
- W2912821425 hasConceptScore W2912821425C167729594 @default.
- W2912821425 hasConceptScore W2912821425C17231256 @default.
- W2912821425 hasConceptScore W2912821425C177264268 @default.
- W2912821425 hasConceptScore W2912821425C199360897 @default.
- W2912821425 hasConceptScore W2912821425C200116569 @default.
- W2912821425 hasConceptScore W2912821425C2524010 @default.
- W2912821425 hasConceptScore W2912821425C2777212361 @default.
- W2912821425 hasConceptScore W2912821425C2778724333 @default.
- W2912821425 hasConceptScore W2912821425C33923547 @default.
- W2912821425 hasConceptScore W2912821425C39920170 @default.
- W2912821425 hasConceptScore W2912821425C41008148 @default.
- W2912821425 hasConceptScore W2912821425C89507440 @default.
- W2912821425 hasLocation W29128214251 @default.
- W2912821425 hasOpenAccess W2912821425 @default.
- W2912821425 hasPrimaryLocation W29128214251 @default.
- W2912821425 hasRelatedWork W1506269905 @default.
- W2912821425 hasRelatedWork W1522140971 @default.
- W2912821425 hasRelatedWork W1565601435 @default.
- W2912821425 hasRelatedWork W191613481 @default.
- W2912821425 hasRelatedWork W2013110598 @default.
- W2912821425 hasRelatedWork W2066572550 @default.
- W2912821425 hasRelatedWork W2071974395 @default.
- W2912821425 hasRelatedWork W2083134633 @default.
- W2912821425 hasRelatedWork W2127246914 @default.
- W2912821425 hasRelatedWork W2128776156 @default.
- W2912821425 hasRelatedWork W2134384958 @default.
- W2912821425 hasRelatedWork W2774125772 @default.
- W2912821425 hasRelatedWork W2782880808 @default.
- W2912821425 hasRelatedWork W2794983383 @default.
- W2912821425 hasRelatedWork W3124057456 @default.
- W2912821425 hasRelatedWork W3197846998 @default.
- W2912821425 hasRelatedWork W592360329 @default.
- W2912821425 hasRelatedWork W614204383 @default.
- W2912821425 hasRelatedWork W915409256 @default.
- W2912821425 isParatext "false" @default.
- W2912821425 isRetracted "false" @default.
- W2912821425 magId "2912821425" @default.
- W2912821425 workType "article" @default.