FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1562330853> ?p ?o ?g. }

• W1562330853 abstract "This paper describes an axiomatic theory BT for constructive mathematics. BT has a predicative comprehension axiom for a countable number of set types and usual combinatorial operations. BT has intuitionistic logic, is consistent with classical logic and has such constructive features as consistency with formal Church thesis, and existence and disjunction proper- ties. BT is mutually interpretable with a so called theory of arithmetical truth PATr and with a second-order arithmetic SA that contains infinitely many sorts of sets of natural numbers. We compare BT with some standard second- order arithmetics and investigate the proof-theoretical strengths of fragments of BT, PATr and SA." @default.
• W1562330853 created "2016-06-24" @default.
• W1562330853 creator A5025209685 @default.
• W1562330853 date "2015-04-30" @default.
• W1562330853 modified "2023-09-27" @default.
• W1562330853 title "COMPARISON OF CONSTRUCTIVE MULTI-TYPED THEORY WITH SUBSYSTEMS OF SECOND ORDER ARITHMETIC" @default.
• W1562330853 cites W126568045 @default.
• W1562330853 cites W1498926208 @default.
• W1562330853 cites W1556453281 @default.
• W1562330853 cites W1568501149 @default.
• W1562330853 cites W1763978647 @default.
• W1562330853 cites W1984820433 @default.
• W1562330853 cites W2051050595 @default.
• W1562330853 cites W2067914884 @default.
• W1562330853 cites W2085283339 @default.
• W1562330853 cites W2169772316 @default.
• W1562330853 cites W2305277033 @default.
• W1562330853 cites W2482455963 @default.
• W1562330853 hasPublicationYear "2015" @default.
• W1562330853 type Work @default.
• W1562330853 sameAs 1562330853 @default.
• W1562330853 citedByCount "0" @default.
• W1562330853 crossrefType "posted-content" @default.
• W1562330853 hasAuthorship W1562330853A5025209685 @default.
• W1562330853 hasConcept C110729354 @default.
• W1562330853 hasConcept C111919701 @default.
• W1562330853 hasConcept C112343008 @default.
• W1562330853 hasConcept C118615104 @default.
• W1562330853 hasConcept C127753061 @default.
• W1562330853 hasConcept C129131279 @default.
• W1562330853 hasConcept C136119220 @default.
• W1562330853 hasConcept C138885662 @default.
• W1562330853 hasConcept C153046414 @default.
• W1562330853 hasConcept C167729594 @default.
• W1562330853 hasConcept C177264268 @default.
• W1562330853 hasConcept C184264201 @default.
• W1562330853 hasConcept C199360897 @default.
• W1562330853 hasConcept C202444582 @default.
• W1562330853 hasConcept C202854965 @default.
• W1562330853 hasConcept C2524010 @default.
• W1562330853 hasConcept C2776436953 @default.
• W1562330853 hasConcept C2778701210 @default.
• W1562330853 hasConcept C33923547 @default.
• W1562330853 hasConcept C41008148 @default.
• W1562330853 hasConcept C41895202 @default.
• W1562330853 hasConcept C65148605 @default.
• W1562330853 hasConcept C94375191 @default.
• W1562330853 hasConcept C97489613 @default.
• W1562330853 hasConcept C98045186 @default.
• W1562330853 hasConceptScore W1562330853C110729354 @default.
• W1562330853 hasConceptScore W1562330853C111919701 @default.
• W1562330853 hasConceptScore W1562330853C112343008 @default.
• W1562330853 hasConceptScore W1562330853C118615104 @default.
• W1562330853 hasConceptScore W1562330853C127753061 @default.
• W1562330853 hasConceptScore W1562330853C129131279 @default.
• W1562330853 hasConceptScore W1562330853C136119220 @default.
• W1562330853 hasConceptScore W1562330853C138885662 @default.
• W1562330853 hasConceptScore W1562330853C153046414 @default.
• W1562330853 hasConceptScore W1562330853C167729594 @default.
• W1562330853 hasConceptScore W1562330853C177264268 @default.
• W1562330853 hasConceptScore W1562330853C184264201 @default.
• W1562330853 hasConceptScore W1562330853C199360897 @default.
• W1562330853 hasConceptScore W1562330853C202444582 @default.
• W1562330853 hasConceptScore W1562330853C202854965 @default.
• W1562330853 hasConceptScore W1562330853C2524010 @default.
• W1562330853 hasConceptScore W1562330853C2776436953 @default.
• W1562330853 hasConceptScore W1562330853C2778701210 @default.
• W1562330853 hasConceptScore W1562330853C33923547 @default.
• W1562330853 hasConceptScore W1562330853C41008148 @default.
• W1562330853 hasConceptScore W1562330853C41895202 @default.
• W1562330853 hasConceptScore W1562330853C65148605 @default.
• W1562330853 hasConceptScore W1562330853C94375191 @default.
• W1562330853 hasConceptScore W1562330853C97489613 @default.
• W1562330853 hasConceptScore W1562330853C98045186 @default.
• W1562330853 hasLocation W15623308531 @default.
• W1562330853 hasOpenAccess W1562330853 @default.
• W1562330853 hasPrimaryLocation W15623308531 @default.
• W1562330853 hasRelatedWork W1025722046 @default.
• W1562330853 hasRelatedWork W1204058665 @default.
• W1562330853 hasRelatedWork W1543233405 @default.
• W1562330853 hasRelatedWork W1962276536 @default.
• W1562330853 hasRelatedWork W1999780552 @default.
• W1562330853 hasRelatedWork W2029705760 @default.
• W1562330853 hasRelatedWork W2031330107 @default.
• W1562330853 hasRelatedWork W2094544397 @default.
• W1562330853 hasRelatedWork W2100933350 @default.
• W1562330853 hasRelatedWork W2110361925 @default.
• W1562330853 hasRelatedWork W2116579313 @default.
• W1562330853 hasRelatedWork W2151159855 @default.
• W1562330853 hasRelatedWork W2288991796 @default.
• W1562330853 hasRelatedWork W2297079473 @default.
• W1562330853 hasRelatedWork W2316406086 @default.
• W1562330853 hasRelatedWork W2804557262 @default.
• W1562330853 hasRelatedWork W3199216053 @default.
• W1562330853 hasRelatedWork W3209573655 @default.
• W1562330853 hasRelatedWork W581366513 @default.
• W1562330853 hasRelatedWork W603880685 @default.
• W1562330853 isParatext "false" @default.
• W1562330853 isRetracted "false" @default.
• W1562330853 magId "1562330853" @default.

• next