The full basis theorem does not imply analytic wellordering

&
Annals of Pure and Applied Logic 172 (4):102929 (2021)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2020.102929

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,793

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Suslin's hypothesis does not imply stationary antichains.Chaz Schlindwein - 1993 - Annals of Pure and Applied Logic 64 (2):153-167.
Closed choice and a uniform low basis theorem.Vasco Brattka, Matthew de Brecht & Arno Pauly - 2012 - Annals of Pure and Applied Logic 163 (8):986-1008.
A cut elimination theorem for stationary logic.M. E. Szabo - 1987 - Annals of Pure and Applied Logic 33 (C):181-193.
The Löwenheim-Skolem theorem for Gödel logic.J. P. Aguilera - 2023 - Annals of Pure and Applied Logic 174 (4):103235.
Tarski's theorem on intuitionistic logic, for polyhedra.Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill & Andrea Pedrini - 2018 - Annals of Pure and Applied Logic 169 (5):373-391.
Mitchell's theorem revisited.Thomas Gilton & John Krueger - 2017 - Annals of Pure and Applied Logic 168 (5):922-1016.
A Lindström theorem for intuitionistic first-order logic.Grigory Olkhovikov, Guillermo Badia & Reihane Zoghifard - 2023 - Annals of Pure and Applied Logic 174 (10):103346.
The semantic isomorphism theorem in abstract algebraic logic.Tommaso Moraschini - 2016 - Annals of Pure and Applied Logic 167 (12):1298-1331.
A dichotomy theorem for regular types.Ehud Hrushovski & Saharon Shelah - 1989 - Annals of Pure and Applied Logic 45 (2):157-169.
A contrast to the low basis theorem.David Lippe - 2002 - Annals of Pure and Applied Logic 117 (1-3):203-207.

Analytics

Added to PP
2020-12-09

Downloads
24 (#894,641)

6 months
5 (#1,012,768)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Descriptive Set Theory.Yiannis Nicholas Moschovakis - 1982 - Studia Logica 41 (4):429-430.
A definable E 0 class containing no definable elements.Vladimir Kanovei & Vassily Lyubetsky - 2015 - Archive for Mathematical Logic 54 (5-6):711-723.
Countable OD sets of reals belong to the ground model.Vladimir Kanovei & Vassily Lyubetsky - 2018 - Archive for Mathematical Logic 57 (3-4):285-298.

View all 14 references / Add more references