Search results
From MaRDI portal
- ${Δ^1}_2$-degrees 1974-01-01 Paper PCA well-orderings of the line 1974-01-01 Paper Beth's theorem in cardinality logics 1973-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3214890...10 bytes (19 words) - 00:01, 9 December 2023
- Publication Date of Publication Type König's Infinity Lemma and Beth's Tree Theorem 2017-02-22 Paper https://portal.mardi4nfdi.de/entity/Q3466609 2016-02-01...10 bytes (18 words) - 12:09, 12 December 2023
- https://portal.mardi4nfdi.de/entity/Q4696006 1993-06-29 Paper An analog of Beth's theorem in normal extensions of the modal logic K4 1993-06-29 Paper https://portal...10 bytes (19 words) - 17:35, 11 December 2023
- Date of Publication Type An institution-independent proof of the Beth definability theorem 2007-09-10 Paper https://portal.mardi4nfdi.de/entity/Q4413928 2003-07-22...10 bytes (16 words) - 07:25, 13 December 2023
- Specifications 2008-07-01 Paper An institution-independent proof of the Beth definability theorem 2007-09-10 Paper Structures for abstract rewriting 2007-08-17 Paper...10 bytes (16 words) - 14:26, 11 December 2023
- 2022-12-08 Paper Kneale's natural deductions as a notational variant of Beth's tableaus 2022-09-01 Paper Logic and applications -- LAP meeting 2021-07-08...10 bytes (16 words) - 00:05, 25 September 2023
- first-order predicate logic and the weak fan theorem 2015-06-26 Paper An intuitionistic completeness theorem for classical predicate logic 2010-10-15 Paper...10 bytes (18 words) - 11:46, 12 December 2023
- Paper Varieties generated by completions 2019-07-10 Paper A representation theorem for measurable relation algebras with cyclic groups 2019-05-06 Paper THE...10 bytes (17 words) - 12:52, 28 January 2024
- Rolle's Theorem and Complete, Totally bounded, Metric Spaces 1976-01-01 Paper Elements of Intuitionistic Analysis II the Stone‐Weierstrass Theorem and Ascoli's...10 bytes (22 words) - 20:22, 11 December 2023
- endomorphism semigroups 1964-01-01 Paper On a generalization of a theorem of E. W. Beth 1964-01-01 Paper...10 bytes (17 words) - 16:31, 8 December 2023
- 2016-01-25 Paper Trakhtenbrot theorem and first-order axiomatic extensions of MTL 2015-12-07 Paper Erratum to: ``Trakhtenbrot theorem and first-order axiomatic...10 bytes (17 words) - 15:59, 7 December 2023
- 1951-01-01 Paper Some theorem on powers of cardinal numbers 1948-01-01 Paper On Indecomposable Polyhedra 1948-01-01 Paper A THEOREM ON INFINITE PRODUCTS...10 bytes (17 words) - 23:43, 12 December 2023
- 2010-09-08 Paper An Institutional Version of Gödel’s Completeness Theorem 2009-03-10 Paper Abstract Beth definability in institutions 2006-11-29 Paper...10 bytes (16 words) - 09:28, 6 October 2023
- zbMath Open novick.bethMaRDI QIDQ290093 No records found. This page was built for person: Beth Novick...10 bytes (16 words) - 03:26, 7 October 2023
- on languages and codensity monads 2021-08-16 Paper Beth definability and the Stone-Weierstrass theorem 2021-06-14 Paper On the axiomatisability of the dual...10 bytes (16 words) - 05:51, 7 October 2023
- Exploring the tractability border in epistemic tasks 2015-01-08 Paper Agreement theorems in dynamic-epistemic logic 2012-12-04 Paper Finite identification from...10 bytes (16 words) - 04:12, 25 September 2023
- Paper Logics of Finite Hankel Rank 2015-09-22 Paper Generalizing Parikh’s Theorem 2015-07-03 Paper ON THE CLIQUE–WIDTH OF GRAPH WITH FEW P4'S 2015-04-29 Paper...10 bytes (19 words) - 10:24, 8 December 2023
- Consequence-based axiom pinpointing 2023-07-28 Paper Exact Learning 2022-12-05 Paper Theorem proving for pointwise metric temporal logic over the naturals via translations...10 bytes (16 words) - 18:25, 24 September 2023
- cylindric algebras with applications to logic 1987-01-01 Paper A unifying theorem for algebraic semantics and dynamic logics 1987-01-01 Paper Decidability...10 bytes (16 words) - 16:22, 9 December 2023
- de/entity/Q5549032 1967-01-01 Paper Freedom in polyadic algebras and two theorems of Beth and Craig 1964-01-01 Paper Tensor products of polyadic algebras 1964-01-01...10 bytes (16 words) - 15:40, 6 October 2023
