Non‐Standard Models of Ordinal Arithmetics

Mathematical Logic Quarterly 25 (1-2):5-27 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19790250103

Links

PhilArchive



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

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

Non‐Standard Models of Ordinal Arithmetics.E. A. Sonenberg - 1979 - Mathematical Logic Quarterly 25 (1‐2):5-27.
Theories of arithmetics in finite models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.
Locally countable models of Σ1-separation.Fred G. Abramson - 1981 - Journal of Symbolic Logic 46 (1):96 - 100.
On the physical possibility of ordinal computation (draft).Jeffrey A. Barrett & Wayne Aitken - unknown
Turing computations on ordinals.Peter Koepke - 2005 - Bulletin of Symbolic Logic 11 (3):377-397.
The Arithmetics of a Theory.Albert Visser - 2015 - Notre Dame Journal of Formal Logic 56 (1):81-119.
Ordinal Exponentiations of Sets.Laurence Kirby - 2015 - Notre Dame Journal of Formal Logic 56 (3):449-462.
Simplified models establishing some of né:Zondet's results on erdös–woods conjecture.Marcel Guillaume - 2000 - Synthese 125 (1-2):133 - 146.
Dynamic ordinal analysis.Arnold Beckmann - 2003 - Archive for Mathematical Logic 42 (4):303-334.
Review: Kenneth McAloon, On the Sequence of Models $operatorname{HOD}_n$; Thomas J. Jech, Forcing with Trees and Ordinal Definability; Wlodzimierz Zadrozny, Iterating Ordinal Definability. [REVIEW]Rene David - 1987 - Journal of Symbolic Logic 52 (2):570-571.
A note on definability in fragments of arithmetic with free unary predicates.Stanislav O. Speranski - 2013 - Archive for Mathematical Logic 52 (5-6):507-516.
On Scott and Karp trees of uncountable models.Tapani Hyttinen & Jouko Väänänen - 1990 - Journal of Symbolic Logic 55 (3):897-908.
Corrigendum to "Weak Arithmetics and Kripke Models".Morteza Moniri - 2004 - Mathematical Logic Quarterly 50 (6):637.
Normal forms for elementary patterns.Timothy J. Carlson & Gunnar Wilken - 2012 - Journal of Symbolic Logic 77 (1):174-194.
Σ1-separation.Fred G. Abramson - 1979 - Journal of Symbolic Logic 44 (3):374 - 382.

Analytics

Added to PP
2016-02-04

Downloads
26 (#606,277)

6 months
1 (#1,469,469)

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

Transfinite Zahlen.Heinz Bachmann - 1959 - Journal of Symbolic Logic 24 (3):223-224.

Add more references