Review: H. Lauchli, J. Leonard, On the Elementary Theory of Linear Order [Book Review]

Journal of Symbolic Logic 33 (2):287-287 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,829

External links

  • This entry has no external links. Add one.
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

Model theory of the inaccessibility scheme.Shahram Mohsenipour - 2011 - Archive for Mathematical Logic 50 (7-8):697-706.
Adding linear orders.Saharon Shelah & Pierre Simon - 2012 - Journal of Symbolic Logic 77 (2):717-725.
Linear Läuchli semantics.R. F. Blute & P. J. Scott - 1996 - Annals of Pure and Applied Logic 77 (2):101-142.
Adding a Cohen real adds an entangled linear order.Yoshifumi Yuasa - 1993 - Archive for Mathematical Logic 32 (4):299-304.
Relating first-order set theories and elementary toposes.Steve Awodey, Carsten Butz & Alex Simpson - 2007 - Bulletin of Symbolic Logic 13 (3):340-358.
Proof-theoretical analysis of order relations.Sara Negri, Jan von Plato & Thierry Coquand - 2004 - Archive for Mathematical Logic 43 (3):297-309.
Nonexistence of universal orders in many cardinals.Menachem Kojman & Saharon Shelah - 1992 - Journal of Symbolic Logic 57 (3):875-891.
Model theory of the regularity and reflection schemes.Ali Enayat & Shahram Mohsenipour - 2008 - Archive for Mathematical Logic 47 (5):447-464.
An Undecidable Linear Order That Is $n$-Decidable for All $n$.John Chisholm & Michael Moses - 1998 - Notre Dame Journal of Formal Logic 39 (4):519-526.
Interpretability of Robinson arithmetic in the ramified second-order theory of dense linear order.A. P. Hazen - 1991 - Notre Dame Journal of Formal Logic 33 (1):101-111.
Dwie koncepcje porządku.Michał Tempczyk - 1995 - Filozofia Nauki 1.
Linear order and its place in grammar.Richard Wiese - 2003 - Behavioral and Brain Sciences 26 (6):693-694.
The Block Relation in Computable Linear Orders.Michael Moses - 2011 - Notre Dame Journal of Formal Logic 52 (3):289-305.
Finite condensations of recursive linear orders.Dev K. Roy & Richard Watnick - 1988 - Studia Logica 47 (4):311 - 317.
Mathematical Physics and Elementary Logic.Brent Mundy - 1990 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990:289 - 301.

Analytics

Added to PP
2013-11-22

Downloads
3 (#1,710,044)

6 months
1 (#1,467,486)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references