scholarly journals COMPUTABLE LINEAR ORDERS AND PRODUCTS

2020 ◽  
pp. 1-20
Author(s):  
ANDREY N. FROLOV ◽  
STEFFEN LEMPP ◽  
KENG MENG NG ◽  
GUOHUA WU
Keyword(s):  
Linear Orders ◽  
Computable Linear Orders

On Self-Embeddings of Computable Linear Orders

2003 ◽  
pp. 259-265
Author(s):  
Steffen Lempp ◽  
Andrei S. Morozov ◽  
Charles F. D. McCoy ◽  
D. Reed Solomon
Keyword(s):  
Linear Orders ◽  
Computable Linear Orders

Computable Linear Orders and the Ershov Hierarchy

2018 ◽  
Vol 62 (1) ◽  
pp. 58-64
Author(s):  
Ya. A. Mikhailovskaya ◽  
A. N. Frolov
Keyword(s):  
Linear Orders ◽  
Ershov Hierarchy ◽  
Computable Linear Orders

Σ 2 0 -Initial Segments of Computable Linear Orders

2014 ◽  
Vol 53 (3) ◽  
pp. 266-267 ◽  
Author(s):  
R. I. Bikmukhametov
Keyword(s):  
Linear Orders ◽  
Computable Linear Orders

Examples of theories of presheaf type

2018 ◽  
Author(s):  
Olivia Caramello
Keyword(s):  
Finite Groups ◽  
Linear Independence ◽  
Geometric Theory ◽  
Vector Spaces ◽  
Linear Orders ◽  
Locally Finite ◽  
Strong Unit ◽  
Locally Finite Groups ◽  
Simplicial Sets ◽  
Separable Extensions

This chapter discusses several classical as well as new examples of theories of presheaf type from the perspective of the theory developed in the previous chapters. The known examples of theories of presheaf type that are revisited in the course of the chapter include the theory of intervals (classified by the topos of simplicial sets), the theory of linear orders, the theory of Diers fields, the theory of abstract circles (classified by the topos of cyclic sets) and the geometric theory of finite sets. The new examples include the theory of algebraic (or separable) extensions of a given field, the theory of locally finite groups, the theory of vector spaces with linear independence predicates and the theory of lattice-ordered abelian groups with strong unit.

scholarly journals FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS

2021 ◽  
pp. 1-39
Author(s):  
JUN LE GOH ◽  
ARNO PAULY ◽  
MANLIO VALENTI
Keyword(s):  
Linear Orders
Sign in / Sign up

Export Citation Format

Share Document