- On Π 1-automorphisms of recursive linear orders.Henry A. Kierstead - 1987 - Journal of Symbolic Logic 52 (3):681-688.details
|
|
Linear structures, causal sets and topology.Laurenz Hudetz - 2015 - Studies in the History and Philosophy of Modern Physics.details
|
|
Equivalence between Fraïssé’s conjecture and Jullien’s theorem.Antonio Montalbán - 2006 - Annals of Pure and Applied Logic 139 (1):1-42.details
|
|
Non-forking frames in abstract elementary classes.Adi Jarden & Saharon Shelah - 2013 - Annals of Pure and Applied Logic 164 (3):135-191.details
|
|
Lexicographic Exponentiation of Chains.W. C. Holland, S. Kuhlmann & S. H. McCleary - 2005 - Journal of Symbolic Logic 70 (2):389 - 409.details
|
|
Boolean Algebras, Stone Spaces, and the Iterated Turing Jump.Carl G. Jockusch & Robert I. Soare - 1994 - Journal of Symbolic Logic 59 (4):1121 - 1138.details
|
|
On the equimorphism types of linear orderings.Antonio Montalbán - 2007 - Bulletin of Symbolic Logic 13 (1):71-99.details
|
|
First-order Gödel logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.details
|
|
Sharp Vaught's conjecture for some classes of partial orders.Miloš S. Kurilić - 2024 - Annals of Pure and Applied Logic 175 (4):103411.details
|
|
Multidimensional Concepts and Disparate Scale Types.Brian Hedden & Jacob M. Nebel - forthcoming - Philosophical Review.details
|
|
Weak Well Orders and Fraïssé’s Conjecture.Anton Freund & Davide Manca - forthcoming - Journal of Symbolic Logic:1-16.details
|
|
On Cohesive Powers of Linear Orders.Rumen Dimitrov, Valentina Harizanov, Andrey Morozov, Paul Shafer, Alexandra A. Soskova & Stefan V. Vatev - 2023 - Journal of Symbolic Logic 88 (3):947-1004.details
|
|
Online, computable and punctual structure theory.Matthew Askes & Rod Downey - 2023 - Logic Journal of the IGPL 31 (6):1251-1293.details
|
|
Order Types of Models of Fragments of Peano Arithmetic.Lorenzo Galeotti & Benedikt Löwe - 2022 - Bulletin of Symbolic Logic 28 (2):182-206.details
|
|
The Simplest Low Linear Order with No Computable Copies.Andrey Frolov & Maxim Zubkov - 2024 - Journal of Symbolic Logic 89 (1):97-111.details
|
|
Order Types of Models of Fragments of Peano Arithmetic.Lorenzo Galeotti & Benedikt Löwe - 2022 - Bulletin of Symbolic Logic 28 (2):182-206.details
|
|
Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees.Ruaan Kellerman & Valentin Goranko - 2021 - Journal of Symbolic Logic 86 (3):1035-1065.details
|
|
Around rubin’s “theories of linear order”.Predrag Tanović, Slavko Moconja & Dejan Ilić - 2020 - Journal of Symbolic Logic 85 (4):1403-1426.details
|
|
Relationships between computability-theoretic properties of problems.Rod Downey, Noam Greenberg, Matthew Harrison-Trainor, Ludovic Patey & Dan Turetsky - 2022 - Journal of Symbolic Logic 87 (1):47-71.details
|
|
All Worlds in One: Reassessing the Forest-Armstrong Argument.Phillip Bricker - 2020 - In Modal Matters: Essays in Metaphysics. Oxford, England: Oxford University Press. pp. 278-314.details
|
|
On countably saturated linear orders and certain class of countably saturated graphs.Ziemowit Kostana - 2020 - Archive for Mathematical Logic 60 (1):189-209.details
|
|
The Rise of non-Archimedean Mathematics and the Roots of a Misconception I: The Emergence of non-Archimedean Systems of Magnitudes.Philip Ehrlich - 2006 - Archive for History of Exact Sciences 60 (1):1-121.details
|
|
Vaught's conjecture for monomorphic theories.Miloš S. Kurilić - 2019 - Annals of Pure and Applied Logic 170 (8):910-920.details
|
|
Indecomposable linear orderings and hyperarithmetic analysis.Antonio Montalbán - 2006 - Journal of Mathematical Logic 6 (1):89-120.details
|
|
Linear orders: When embeddability and epimorphism agree.Riccardo Camerlo, Raphaël Carroy & Alberto Marcone - 2019 - Journal of Mathematical Logic 19 (1):1950003.details
|
|
An algebraic approach to mso-definability on countable linear orderings.Olivier Carton, Thomas Colcombet & Gabriele Puppis - 2018 - Journal of Symbolic Logic 83 (3):1147-1189.details
|
|
Synthesis for Temporal Logic over the Reals.Tim French, John McCabe-Dansted & Mark Reynolds - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 217-238.details
|
|
The complexity of isomorphism for complete theories of linear orders with unary predicates.Richard Rast - 2017 - Archive for Mathematical Logic 56 (3-4):289-307.details
|
|
Modèles saturés et modèles engendrés par des indiscernables.Benoît Mariou - 2001 - Journal of Symbolic Logic 66 (1):325-348.details
|
|
Almost galois ω-stable classes.John T. Baldwin, Paul B. Larson & Saharon Shelah - 2015 - Journal of Symbolic Logic 80 (3):763-784.details
|
|
A Valuation Theoretic Characterization of Recursively Saturated Real Closed Fields.Paola D’Aquino, Salma Kuhlmann & Karen Lange - 2015 - Journal of Symbolic Logic 80 (1):194-206.details
|
|
The -spectrum of a linear order.Russell Miller - 2001 - Journal of Symbolic Logic 66 (2):470-486.details
|
|
Binary Relational Structures Having Only Countably Many Nonisomorphic Substructures.Dugald Macpherson & James H. Schmerl - 1991 - Journal of Symbolic Logic 56 (3):876-884.details
|
|
Restriction respectueuse et reconstruction Des chaines et Des relations infinites.Jean Guillaume Hagendorf & J. G. Hagendorf - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):457-490.details
|
|
Effective extensions of partial orders.Dev Kumar Roy - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):233-236.details
|
|
Iterated elementary embeddings and the model theory of infinitary logic.John T. Baldwin & Paul B. Larson - 2016 - Annals of Pure and Applied Logic 167 (3):309-334.details
|
|
On Choice Sets and Strongly Non-Trivial Self-Embeddings of Recursive Linear Orders.Rodney G. Downey & Michael F. Moses - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (3):237-246.details
|
|
Linear Order Types of Nonrecursive Presentability.Dev Kumar Roy - 1985 - Mathematical Logic Quarterly 31 (31-34):495-501.details
|
|
Simple types in discretely ordered structures.Dejan Ilić - 2014 - Archive for Mathematical Logic 53 (7-8):929-947.details
|
|
Degrees bounding principles and universal instances in reverse mathematics.Ludovic Patey - 2015 - Annals of Pure and Applied Logic 166 (11):1165-1185.details
|
|
Automata Presenting Structures: A Survey of the Finite String Case.Sasha Rubin, Werner DePauli-Schimanovich, T. U. Wien & Kurt Gödel-Ein Mathematischer Mythos - 2008 - Bulletin of Symbolic Logic 14 (2):169-209.details
|
|
In the Beginning was Game Semantics?Giorgi Japaridze - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Dordrecht, Netherland: Springer Verlag. pp. 249--350.details
|
|
The problem of determinacy of infinite games from an intuitionistic point of view.Wim Veldman - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Dordrecht, Netherland: Springer Verlag. pp. 351--370.details
|
|
Posets of copies of countable scattered linear orders.Miloš S. Kurilić - 2014 - Annals of Pure and Applied Logic 165 (3):895-912.details
|
|
An introduction to theories without the independence property.Hans Adler - unknowndetails
|
|
Minimum‐sized Infinite Partitions of Boolean Algebras.J. Donald Monk - 1996 - Mathematical Logic Quarterly 42 (1):537-550.details
|
|
Restriction respectueuse et reconstruction Des chaines et Des relations infinites.Jean Guillaume Hagendorf & J. G. Hagendorf - 1992 - Mathematical Logic Quarterly 38 (1):457-490.details
|
|
Effective extensions of partial orders.Dev Kumar Roy - 1990 - Mathematical Logic Quarterly 36 (3):233-236.details
|
|
On Choice Sets and Strongly Non‐Trivial Self‐Embeddings of Recursive Linear Orders.Rodney G. Downey & Michael F. Moses - 1989 - Mathematical Logic Quarterly 35 (3):237-246.details
|
|
Degree spectra of the successor relation of computable linear orderings.Jennifer Chubb, Andrey Frolov & Valentina Harizanov - 2009 - Archive for Mathematical Logic 48 (1):7-13.details
|
|