Search results
From MaRDI portal
- topological groups, via bounded systems, Pontryagin-van Kampen duality and pcf theory 2014-10-01 Paper The dual space of precompact groups 2013-10-30 Paper...10 bytes (19 words) - 22:53, 11 December 2023
- topological groups, via bounded systems, Pontryagin-van Kampen duality and pcf theory 2014-10-01 Paper...10 bytes (16 words) - 12:52, 28 January 2024
- 2001-06-17 Paper The PCF trichotomy theorem does not hold for short sequences 2000-07-25 Paper Exact upper bounds and their uses in set theory 1999-11-29 Paper...10 bytes (16 words) - 22:01, 8 December 2023
- Descriptive set theory and definable forcing 2004-03-14 Paper ISOLATING CARDINAL INVARIANTS 2003-11-10 Paper Duality and the pcf theory 2003-10-14 Paper...10 bytes (17 words) - 10:33, 8 December 2023
- Powers of the ideal of Lebesgue measure zero sets 1991-01-01 Paper Shelah's pcf theory and its applications 1990-01-01 Paper Some remarks on density-continuous...10 bytes (18 words) - 21:21, 9 December 2023
- topological groups, via bounded systems, Pontryagin-van Kampen duality and pcf theory 2014-10-01 Paper Balleans of topological groups 2014-06-27 Paper The dual...10 bytes (16 words) - 12:17, 8 December 2023
- Piece selection and cardinal arithmetic 2023-09-12 Paper APPLICATIONS OF PCF THEORY TO THE STUDY OF IDEALS ON 2022-08-29 Paper The secret life of \(\mu\)-clubs...10 bytes (16 words) - 20:28, 11 December 2023
- 1997-06-15 Paper Large ordinals 1997-05-06 Paper Singular Cardinals and the PCF Theory 1996-10-28 Paper OTTER experiments in a system of combinatory logic 1995-07-03...10 bytes (19 words) - 10:06, 12 December 2023
- universe of set theory. II. 2006-09-14 Paper The non-compactness of square 2005-02-09 Paper Canonical structure in the universe of set theory. I 2004-11-22...10 bytes (17 words) - 15:20, 9 December 2023
- algebras constructed from strongly unbounded functions 2011-11-07 Paper Pcf theory and cardinal invariants of the reals 2011-09-01 Paper Cardinal sequences...10 bytes (16 words) - 20:28, 8 December 2023
- topological groups, via bounded systems, Pontryagin-van Kampen duality and pcf theory 2014-10-01 Paper Additivity of the Gerlits–Nagy property and concentrated...10 bytes (17 words) - 12:08, 7 October 2023
- hardness hypotheses in pcf theory 2016-10-19 Paper All creatures great and small 2016-09-22 Paper Beginning of stability theory for Polish spaces 2016-09-15...10 bytes (17 words) - 10:23, 8 December 2023
- real line with applications to Real PCF 1999-01-12 Paper https://portal.mardi4nfdi.de/entity/Q4222967 1999-01-06 Paper PCF extended with real numbers 1997-02-27...10 bytes (18 words) - 17:35, 7 December 2023
- Publication Type Coherent differentiation 2024-03-05 Paper A coherent differential PCF 2024-01-16 Paper https://portal.mardi4nfdi.de/entity/Q5101335 2022-08-30 Paper...10 bytes (16 words) - 02:44, 9 December 2023
- mardi4nfdi.de/entity/Q6159924 2023-06-23 Paper The Scott model of PCF in univalent type theory 2022-12-09 Paper https://portal.mardi4nfdi.de/entity/Q5119392...10 bytes (20 words) - 10:33, 13 December 2023
- mardi4nfdi.de/entity/Q5875349 2023-02-03 Paper Stable bistructure models of PCF 2022-08-18 Paper https://portal.mardi4nfdi.de/entity/Q5079725 2022-05-28 Paper...10 bytes (16 words) - 01:40, 10 December 2023
- of type theory in simplicial sets. A brief introduction to Voevodsky's homotopy type theory 2016-05-10 Paper Models of intuitionistic set theory in subtoposes...10 bytes (17 words) - 17:31, 7 December 2023
- model of PCF in guarded type theory 2016-12-16 Paper A Nominal Relational Model for Local Store 2016-07-08 Paper Guarded Dependent Type Theory with Coinductive...10 bytes (18 words) - 05:06, 13 December 2023
- synthetic guarded domain theory 2019-02-19 Paper Denotational semantics of recursive types in synthetic guarded domain theory 2018-04-23 Paper Formally...10 bytes (16 words) - 12:04, 24 September 2023
- Sequential functions on indexed domains and full abstraction for a sub-language of PCF 2023-04-28 Paper https://portal.mardi4nfdi.de/entity/Q4288287 1994-12-15 Paper...10 bytes (16 words) - 11:43, 24 September 2023
