Second-order Non-nonstandard Analysis

Studia Logica 74 (3):399-426 (2003)
  Copy   BIBTEX

Abstract

Following [3], we build higher-order models of analysis resembling the frameworks of nonstandard analysis. The models are entirely canonical, constructed without Choice. Weak transfer principles are developed and the models are applied to topology, graph theory, and measure theory. A Loeb-like measure is constructed.

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1025119317177

Links

PhilArchive



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

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

Second-order non-nonstandard analysis.J. M. Henle - 2003 - Studia Logica 74 (3):399 - 426.
Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals.Dov M. Gabbay & Andrzej Szałas - 2007 - Studia Logica 87 (1):37-50.
Decidable Cases of First-order Temporal Logic with Functions.Walter Hussak - 2008 - Studia Logica 88 (2):247-261.
Loosely Guarded Fragment of First-Order Logic has the Finite Model Property.Ian Hodkinson - 2002 - Studia Logica 70 (2):205-240.
A First Order Nonmonotonic Extension of Constructive Logic.David Pearce & Agustín Valverde - 2005 - Studia Logica 80 (2):321-346.
Extending standard models of ZFC to models of nonstandard set theories.Vladimir Kanovei & Michael Reeken - 2000 - Studia Logica 64 (1):37-59.
On the Proof-Theory of two Formalisations of Modal First-Order Logic.Yehuda Schwartz & George Tourlakis - 2010 - Studia Logica 96 (3):349-373.
A Propositional Logic with Relative Identity Connective and a Partial Solution to the Paradox of Analysis.Xuefeng Wen - 2007 - Studia Logica 85 (2):251-260.
Second-Order Characterizable Cardinals and Ordinals.Benjamin R. George - 2006 - Studia Logica 84 (3):425-449.
The First-Order Theories of Dedekind Algebras.George Weaver - 2003 - Studia Logica 73 (3):337-365.
Non-standard Stochastics with a First Order Algebraization.Miklós Ferenczi - 2010 - Studia Logica 95 (3):345-354.
Circularities in the Analysis of Counterfactuals.Tor Sandqvist - 2003 - Studia Logica 73 (2):281-298.
Mathematical Fuzzy Logic – What It Can Learn from Mostowski and Rasiowa.Petr Hájek - 2006 - Studia Logica 84 (1):51-62.
Semantic Analysis of some Variants of Anderson-like Ontological Proofs.Miroslaw Szatkowski - 2005 - Studia Logica 79 (3):317-355.
A Way to Interpret Łukasiewicz Logic and Basic Logic.Thomas Vetterlein - 2008 - Studia Logica 90 (3):407-423.

Analytics

Added to PP
2016-02-18

Downloads
11 (#1,132,055)

6 months
2 (#1,185,463)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references