Search results
From MaRDI portal
- Paper On elementary theories of ordinal notation systems based on reflection principles 2016-05-10 Paper On the complexity of the closed fragment of Japaridze's...10 bytes (18 words) - 15:07, 10 December 2023
- Iterated Reflection 2018-04-18 Paper A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\) 2018-04-06 Paper On the reflection calculus...10 bytes (19 words) - 22:56, 10 December 2023
- https://portal.mardi4nfdi.de/entity/Q3966123 1982-01-01 Paper Iterated reflection principles and the ω-rule 1982-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4742776...10 bytes (18 words) - 16:10, 12 December 2023
- Publication Type Reflective mereology 2023-08-02 Paper Reflection principles and second-order choice principles with urelements 2022-03-03 Paper...10 bytes (16 words) - 10:50, 7 October 2023
- Publication Date of Publication Type On reflection principles supported on a finite set 2009-01-15 Paper...10 bytes (18 words) - 02:48, 7 October 2023
- Publication Date of Publication Type Reflection principles for synthetic theories of smooth manifolds 2000-05-02 Paper...10 bytes (16 words) - 13:42, 28 January 2024
- Publication Date of Publication Type Higher order reflection principles 1989-01-01 Paper...10 bytes (20 words) - 03:25, 28 December 2023
- 2016-11-01 Paper Reflection and indescribability in the constructible universe 2015-11-16 Paper Simple proofs of SCH from reflection principles without using...10 bytes (17 words) - 17:11, 6 October 2023
- Publication Date of Publication Type Reflection principles, generic large cardinals, and the continuum problem 2022-11-11 Paper Strong downward Löwenheim-Skolem...10 bytes (20 words) - 01:19, 25 September 2023
- of \(p\)-torsion in degree \(p\) cyclic fields 2020-07-24 Paper Reflection principles for class groups 2017-05-18 Paper Nonstandard methods for bounds...10 bytes (16 words) - 09:50, 7 October 2023
- Numerical Semigroups and the Game of Sylver Coinage 2020-09-30 Paper REFLECTION PRINCIPLES FOR GENERAL WIENER FUNCTION SPACES 2013-08-08 Paper Comparing the...10 bytes (16 words) - 19:21, 6 October 2023
- Publication Date of Publication Type Inner-model reflection principles 2020-06-09 Paper Cohen forcing and inner models 2020-05-29 Paper Inner mantles and...10 bytes (16 words) - 01:59, 25 September 2023
- Publication Date of Publication Type Inner-model reflection principles 2020-06-09 Paper Subcomplete forcing principles and definable well‐orders 2020-05-11 Paper...10 bytes (16 words) - 23:13, 11 December 2023
- combinatorial principles equivalent to restrictions of transfinite induction up to \(\Gamma _ 0\) 1989-01-01 Paper Paris-Harrington principles, reflection principles...10 bytes (16 words) - 15:53, 23 September 2023
- STRATEGIES IN LONG EHRENFEUCHT–FRAÏSSÉ GAMES 2015-05-20 Paper Stationary reflection principles and two cardinal tree properties 2015-01-09 Paper PCF structures...10 bytes (17 words) - 04:15, 9 December 2023
- Publication Type Construction of natural cycletrees 2016-05-26 Paper Reflection principles in computational logic 2001-01-29 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 09:50, 7 October 2023
- Type https://portal.mardi4nfdi.de/entity/Q4537453 2002-06-30 Paper Reflection principles in computational logic 2001-01-29 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 02:08, 28 December 2023
- surfaces 2022-10-21 Paper Reflection principles for zero mean curvature surfaces in the simply isotropic 3-space 2022-08-02 Paper Reflection principle for lightlike...10 bytes (16 words) - 10:43, 6 October 2023
- 1970-01-01 Paper The Definability of Cardinal Numbers 1969-01-01 Paper Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems...10 bytes (17 words) - 09:34, 13 December 2023
- 2013-08-28 Paper A consistency proof for some restrictions of Tait's reflection principles 2013-04-09 Paper...10 bytes (16 words) - 01:33, 25 September 2023
