Search results
From MaRDI portal
- Paper Countable structures \(\Sigma \)-definable over classical continuous number systems 2008-12-01 Paper On Σ‐definability without equality over the real...10 bytes (15 words) - 00:08, 11 December 2023
- structural interactions 2017-08-30 Paper $$\Sigma _{1}^{1}$$ in Every Real in a $$\Sigma _{1}^{1}$$ Class of Reals Is $$\Sigma _{1}^{1}$$ 2017-04-04 Paper On absolutely...10 bytes (16 words) - 21:01, 8 December 2023
- spaces 2012-05-21 Paper Definability of closure operations in the \(h\)-quasiorder of labeled forests 2011-01-24 Paper Definability in the structure of words...10 bytes (14 words) - 11:33, 12 December 2023
- Embedding distributive lattices in the \(\Sigma ^0_2\) enumeration degrees 2012-09-05 Paper Cupping and definability in the local structure of the enumeration...10 bytes (16 words) - 02:47, 12 December 2023
- 2015-09-28 Paper \(\Sigma \)-uniform structures and \(\Sigma \)-functions. I 2012-12-11 Paper \(\Sigma \)-uniform structures and \(\Sigma \)-functions. II...10 bytes (15 words) - 09:27, 6 October 2023
- 2019-03-13 Paper Jump inversions of algebraic structures and the \({\Sigma}\)-definability 2018-11-14 Paper Positive presentations of families relative to \(e\)-oracles...10 bytes (14 words) - 21:55, 11 December 2023
- 2016-05-13 Paper Initial segments of the \({\Sigma}_2^0\) enumeration degrees 2016-05-09 Paper Definability via Kalimullin pairs in the structure of the...10 bytes (15 words) - 11:32, 28 January 2024
- and automorphism groups of infinite fields 2012-11-29 Paper \(\Sigma ^{1}_{1}\)-definability at uncountable regular cardinals 2012-09-19 Paper Iteratively...10 bytes (14 words) - 02:05, 25 September 2023
- 2017-09-29 Paper The machine as data: a computational view of emergence and definability 2017-03-09 Paper Automorphisms ofη-like computable linear orderings and...10 bytes (17 words) - 18:14, 9 December 2023
- ZFC 2023-10-12 Paper Choice principles in local mantles 2023-09-12 Paper $\Sigma_1$ gaps as derived models and correctness of mice 2023-07-17 Paper The initial...10 bytes (13 words) - 18:37, 11 December 2023
- Paper Countable structures \(\Sigma \)-definable over classical continuous number systems 2008-12-01 Paper On Σ‐definability without equality over the real...10 bytes (15 words) - 06:23, 13 December 2023
- Model Theorem 2017-10-10 Paper $$\Sigma _{1}^{1}$$ in Every Real in a $$\Sigma _{1}^{1}$$ Class of Reals Is $$\Sigma _{1}^{1}$$ 2017-04-04 Paper The strength...10 bytes (17 words) - 13:04, 8 December 2023
- Set-Theoretic Truth and the Hyperuniverse Programme 2020-08-07 Paper Definability of Satisfaction in Outer Models 2020-08-07 Paper The Search for New Axioms...10 bytes (17 words) - 20:11, 8 December 2023
- and the \({\Sigma}\)-definability 2018-11-14 Paper The uniform Martin’s conjecture for many-one degrees 2018-10-18 Paper Coding and definability in computable...10 bytes (13 words) - 00:11, 12 December 2023
- 2015-11-18 Paper Properties of \(s\Sigma\)-reducibility 2015-05-11 Paper A jump inversion theorem for the semilattices of \(\Sigma\)-degrees 2014-06-13 Paper On...10 bytes (15 words) - 10:35, 6 October 2023
- \(\varPi_3^1\) separation 2016-01-12 Paper On effective \(\sigma\)-boundedness and \(\sigma\)-compactness in Solovay's model 2015-10-26 Paper Is mathematical...10 bytes (16 words) - 15:20, 6 December 2023
- algebraic structures and Σ‐definability 2020-05-06 Paper Jump inversions of algebraic structures and the \({\Sigma}\)-definability 2018-11-14 Paper COMPUTABILITY...10 bytes (15 words) - 16:23, 11 December 2023
- 2010-09-25 Paper $\Sigma^0_1$ and $\Pi^0_1$ Equivalence Structures 2010-07-28 Paper Intrinsic bounds on complexity and definability at limit levels 2009-09-29...10 bytes (16 words) - 13:05, 10 December 2023
- effective \(\sigma\)-boundedness and \(\sigma\)-compactness in Solovay's model 2015-10-26 Paper A definable \(E_0\) class containing no definable elements...10 bytes (16 words) - 23:29, 9 December 2023
- 2019-03-13 Paper Jump inversions of algebraic structures and the \({\Sigma}\)-definability 2018-11-14 Paper Positive presentations of families relative to \(e\)-oracles...10 bytes (15 words) - 21:55, 11 December 2023
