Search results
From MaRDI portal
- linear extension theorem in second order arithmetic 2011-08-16 Paper The Veblen functions for computability theorists 2011-06-28 Paper How incomputable is the...10 bytes (14 words) - 06:27, 7 October 2023
- 2011-12-13 Paper Open Questions in Reverse Mathematics 2011-10-11 Paper The Veblen functions for computability theorists 2011-06-28 Paper The Slaman-Wehner theorem...10 bytes (13 words) - 00:11, 12 December 2023
- for the set of polynomial functions with exponentiation 1978-01-01 Paper An initial segment of the set of polynomial functions with exponentiation 1977-01-01...10 bytes (13 words) - 07:58, 6 October 2023
- man function 1995-03-15 Paper An order‐theoretic characterization of the Schütte‐Veblen‐Hierarchy 1994-10-05 Paper Simplified collapsing functions and...10 bytes (13 words) - 11:41, 28 January 2024
- Publication Date of Publication Type Selling to customers with both Veblen and network effects 2019-02-21 Paper On nonsmooth semi-infinite minimax...10 bytes (13 words) - 16:24, 11 December 2023
- diagnostic service centers 2019-03-05 Paper Selling to customers with both Veblen and network effects 2019-02-21 Paper Resonance in an ensemble of excitable...10 bytes (14 words) - 19:59, 11 December 2023
- replacement model 1970-01-01 Paper Classes of Utility Functions Admitting Tyrni's Homogeneous Saving Function 1969-01-01 Paper REMARKS ON THE AXIOM OF CONTINUITY...10 bytes (15 words) - 11:05, 12 December 2023
- card players 2014-01-03 Paper Hyperations, Veblen progressions and transfinite iteration of ordinal functions 2013-11-29 Paper \(\Pi_1^0\)-ordinal analysis...10 bytes (15 words) - 04:33, 7 October 2023
- Schematic Systems 2020-02-05 Paper A flexible type system for the small Veblen ordinal 2019-07-04 Paper Katalin Bimbó. Proof Theory: Sequent Calculi and...10 bytes (13 words) - 02:59, 7 October 2023
- 1996-06-26 Paper Sandwich near-rings of homogeneous functions 1996-04-08 Paper Rings of homogeneous functions determined by artinian ring modules 1996-04-08...10 bytes (17 words) - 05:39, 9 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q5540245 1964-01-01 Paper Oswald Veblen 1963-01-01 Paper AN EXAMPLE FOR SO(3) 1962-01-01 Paper On the action of...10 bytes (14 words) - 07:49, 12 December 2023
- Publication Date of Publication Type Irene Stegun, the "Handbook of Mathematical Functions", and the Lingering Influence of the New Deal 2008-07-11 Paper https://portal...10 bytes (15 words) - 02:22, 28 December 2023
- Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM 1995-01-23 Paper How to develop Proof‐Theoretic Ordinal Functions on the...10 bytes (13 words) - 05:44, 9 December 2023
- 1930-01-01 Paper On the geometry of symmetric functions. 1929-01-01 Paper On the geometry of symmetric functions. 1929-01-01 Paper Einige Eigenschaften der...10 bytes (16 words) - 15:37, 6 October 2023
- card players 2014-01-03 Paper Hyperations, Veblen progressions and transfinite iteration of ordinal functions 2013-11-29 Paper Models of transfinite provability...10 bytes (17 words) - 16:23, 11 December 2023
- zbMath Open veblen.oswaldWikidataQ536558 ScholiaQ536558MaRDI QIDQ6481513 This page was built for person: Oswald Veblen...10 bytes (14 words) - 07:08, 12 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4278743 1994-06-12 Paper Oswald Veblen 1994-05-10 Paper https://portal.mardi4nfdi.de/entity/Q4278026 1994-01-26...10 bytes (16 words) - 17:16, 24 September 2023
- -STATEMENTS: A PILOT STUDY Ackermann and Goodstein go functorial The Veblen functions for computability theorists Computable aspects of the Bachmann–Howard...15 bytes (453 words) - 22:25, 30 January 2024
- hierarchies and Boolean terms Hierarchies of Δ02‐measurable k ‐partitions The Veblen functions for computability theorists On the quasi-ordering of Borel linear orders...15 bytes (391 words) - 00:46, 9 February 2024
- Classes and Closed Games: Wadge-Type and Hurewicz-Type Results The Veblen functions for computability theorists Hyperarithmetically Encodable Sets A Separation...15 bytes (437 words) - 19:36, 13 February 2025
