Skip to search formSkip to main contentSkip to account menuSemantic Scholar Semantic Scholar's Logo Search 205,754,793 papers from all fields of science

Search

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2013

Highly Cited

2013

A multiplicity of autonomous terminals simultaneously transmits data streams to a compact array of antennas. The array uses…

2011

2011

This paper sets out to explore the basics of Zermelo-Fraenkel (ZF) set theory without choice. We will take the axioms (excluding…

2007

2007

Constructive Zermelo-Fraenkel Set Theory, CZF, has emerged as a standard reference theory that relates to constructive…

2005

2005

Abstract This paper proves that the disjunction property, the numerical existence property. Church's rule, and several other…

2003

2003

In this note, we present a puzzle. We prove that Zermelo-Fraenkel set theory is inconsistent by proving, using Zermelo-Fraenkel…

Highly Cited

2001

Highly Cited

2001

system of simple types, which uses the intuitionistic propositional calculus, with the only connective →. It is very important…

1999

1999

In [12], Ernst Zermelo described a succession of models for the axioms of set theory as initial segments of a cumulative…

1985

1985

My aim here is to investigate the role of global quantifiers—quantifiers ranging over the entire universe of sets—in the…

Highly Cited

1977

Highly Cited

1977

1. Internal set theory. We present here a new approach to Abraham Robinson's nonstandard analysis [10] with the aim of making…

1968