books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 38; Issue 1
Main
Mathematical Logic Quarterly
Volume 38; Issue 1
Mathematical Logic Quarterly
Volume 38; Issue 1
1
Masthead
Journal:
Mathematical Logic Quarterly
Year:
1992
File:
PDF, 27 KB
Your tags:
1992
2
THE PRESERVATION OF SUBMODEL RELATION BY TAKING PRIMITIVE MODELS
Paweł Pazdyka
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 874 KB
Your tags:
english, 1992
3
GAME APPROXIMATIONS OF SATISFACTION CLASSES MODELS
Roman Kossak
,
Henryk Kotlarski
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 321 KB
Your tags:
english, 1992
4
RECONSTRUCTION OF BINARY RELATIONS FROM THEIR RESTRICTIONS OF CARDINALITY 2, 3, 4 and (n - 1) I
Gérard Lopez
,
Claire Rauzy
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 599 KB
Your tags:
english, 1992
5
THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS
Silvio Valentini
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 958 KB
Your tags:
english, 1992
6
ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC
Roman Murawski
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 1.37 MB
Your tags:
english, 1992
7
CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
Robert A. Bull
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 764 KB
Your tags:
english, 1992
8
ON DEFINABILITY OF NORMAL SUBGROUPS OF A SUPERSTABLE GROUP
Akito Tsuboi
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 319 KB
Your tags:
english, 1992
9
THE DECISION PROBLEM FOR RESTRICTED UNIVERSAL QUANTIFICATION IN SET THEORY AND THE AXIOM OF FOUNDATION
Franco Parlamento
,
Alberto Policriti
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 775 KB
Your tags:
english, 1992
10
RECONSTRUCTION OF BINARY RELATIONS FROM THEIR RESTRICTIONS OF CARDINALITY 2, 3, 4 and (n - 1) II
Gérard Lopez
,
Claire Rauzy
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 718 KB
Your tags:
english, 1992
11
RECURSIVE BAIRE CLASSIFICATION AND SPEEDABLE FUNCTIONS
Cristian Calude
,
Gabriel Istrate
,
Marius Zimand
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 496 KB
Your tags:
english, 1992
12
A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
Kosta Došen
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 500 KB
Your tags:
english, 1992
13
THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC
Mingsheng Ying
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 242 KB
Your tags:
english, 1992
14
ON THE ITERATED ω-RULE
Grzegorz Michalski
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 235 KB
Your tags:
english, 1992
15
ANEW RELATION-COMBINING THEOREM AND ITS APPLICATION
Zhi-Wei Sun
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 159 KB
Your tags:
english, 1992
16
AN INTERPRETATION OF MARTIN-LÖF'S CONSTRUCTIVE THEORY OF TYPES IN ELEMENTARY TOPOS THEORY
Anne Preller
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 1.22 MB
Your tags:
english, 1992
17
ANALYTIC COMPLETENESS THEOREM FOR ABSOLUTELY CONTINUOUS BIPROBABILITY MODELS
Radosav S. Đorđević
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 305 KB
Your tags:
english, 1992
18
ON THE INADEQUACY OF THE RELATIONAL SEMANTIC FOR THE “UNTIL” OPERATOR
Fabio Bellissima
,
Alessandra Ciupi
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 311 KB
Your tags:
english, 1992
19
UNIVERSAL FUNCTIONS IN PARTIAL STRUCTURES
Maurizio Negri
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 853 KB
Your tags:
english, 1992
20
REPRESENTATION OF POSETS
Yungchen Cheng
,
Paula Kemp
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 427 KB
Your tags:
english, 1992
21
A CLASS OF MODELS FOR SKALA'S SET THEORY
Antonio Greco
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 215 KB
Your tags:
english, 1992
22
LA RECONSTRUCTION DES TOURNOIS SANS DIAMANT
Cyprien Gnanvo
,
Pierre Ille
Journal:
Mathematical Logic Quarterly
Year:
1992
File:
PDF, 500 KB
Your tags:
1992
23
SOME RAMSEY THEORY IN BOOLEAN ALGEBRA FOR COMPLEXITY CLASSES
Gregory L. McColm
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 367 KB
Your tags:
english, 1992
24
THE AMBIGUOUS TYPE THEORY IS HEREDITARILY UNDECIDABLE
Andrey A. Kuzichev
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 84 KB
Your tags:
english, 1992
25
A GAME-THEORETIC PROOF OF ANALYTIC RAMSEY THEOREM
Kazuyuki Tanaka
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 217 KB
Your tags:
english, 1992
26
AN ELEMENTARY SYSTEM AS AND ITS SEMI-COMPLETENESS AND DECIDABILITY
Qin Jun
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 602 KB
Your tags:
english, 1992
27
ON THE INCOMPLETENESS OF A DESCENDING CHAIN OF EXTENSIONS OF IMPLICATIONAL S5
Dolph Ulrich
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 143 KB
Your tags:
english, 1992
28
A DIRECT PROOF OF A RESULT OF SHELAH
Martin Weese
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 110 KB
Your tags:
english, 1992
29
FINITE REPLACEMENT AND FINITE HILBERT-STYLE AXIOMATIZABILITY
B. Herrmann
,
W. Rautenberg
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 1.05 MB
Your tags:
english, 1992
30
TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II
Victor Pambuccian
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 197 KB
Your tags:
english, 1992
31
REDUCIBILITY IN SOME CATEGORIES OF PARTIAL RECURSIVE OPERATORS
Caterina Bianchini
,
Andrea Sorbi
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 609 KB
Your tags:
english, 1992
32
PARTIALLY ORDERED CONNECTIVES
Gabriel Sandu
,
Jouko Väänänen
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 527 KB
Your tags:
english, 1992
33
BOOLEAN ALGEBRAS IN AST
Klaus Schumacher
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 489 KB
Your tags:
english, 1992
34
ALGEBRAIC CLOSURE WITHOUT CHOICE
Bernhard Banaschewski
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 178 KB
Your tags:
english, 1992
35
ON THE TRANSITIVE HULL OF A κ-NARROW RELATION
Karl-Heinz Diener
,
K.-H. Diener
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 664 KB
Your tags:
english, 1992
36
ON NON-DETERMINED EHRENFEUCHT-FRAÏSSÉ GAMES AND UNSTABLE THEORIES
Tapani Hyttinen
,
T. Hyttinen
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 511 KB
Your tags:
english, 1992
37
ON SOME INTERPRETATIONS OF CLASSICAL LOGIC
Branislav R. Boričić
,
B. R. Boričić
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 198 KB
Your tags:
english, 1992
38
A FORMALISM FOR SOME CLASS OF FORCING NOTIONS
Piotr Koszmider
,
P. Koszmider
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 482 KB
Your tags:
english, 1992
39
BOUNDS IN THE TURING REDUCIBILITY OF FUNCTIONS
Karol Habart
,
K. Habart
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 374 KB
Your tags:
english, 1992
40
A NOTATION SYSTEM FOR ORDINAL USING Ψ-FUNCTIONS ON INACCESSIBLE MAHLO NUMBERS
Helmut Pfeiffer
,
H. Pfeiffer
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 1.16 MB
Your tags:
english, 1992
41
RESTRICTION RESPECTUEUSE ET RECONSTRUCTION DES CHAINES ET DES RELATIONS INFINITES
Jean Guillaume Hagendorf
,
J. G. Hagendorf
Journal:
Mathematical Logic Quarterly
Year:
1992
File:
PDF, 2.28 MB
Your tags:
1992
42
QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS
Geir Waagbø
,
G. Waagbø
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 503 KB
Your tags:
english, 1992
43
INTERDEFINABILITY OF LAMBEKIAN FUNCTORS
Wojciech Zielonka
,
W. Zielonka
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 325 KB
Your tags:
english, 1992
44
TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION
Barbara Klunder
,
B. Klunder
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 510 KB
Your tags:
english, 1992
45
COMPACTNESS, THE LÖWENHEIM-SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES
Mingsheng Ying
,
Mingsheng Ying
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 196 KB
Your tags:
english, 1992
46
ORDINAL NUMBERS IN ARITHMETIC PROGRESSION
Frederick Bagemihl
,
F. Bagemihl
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 209 KB
Your tags:
english, 1992
47
RUSSELL'S ALTERNATIVE TO THE AXIOM OF CHOICE
Norbert Brunner
,
Paul Howard
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 305 KB
Your tags:
english, 1992
48
PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC
Paolo Gentilini
,
P. Gentilini
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 796 KB
Your tags:
english, 1992
49
FLAGG AND FRIEDMAN'S TRANSLATION IS NOT FAITHFUL
Takao Inoué
,
T. Inoué
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 152 KB
Your tags:
english, 1992
50
TWO TOPOLOGICAL EQUIVALENTS OF THE AXIOM OF CHOICE
Eric Schechter
,
E. Schechter
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 159 KB
Your tags:
english, 1992
51
EIN NEUER BEWEIS UND EINE VERSCHÄRFUNG FÜR DEN REDUKTIONSTYP ∀∃∀∞(0, 1) MIT EINER ANWENDUNG AUF DIE SPEKTRALE DARSTELLUNG VON PRÄDIKATEN
Michael Deutsch
,
M. Deutsch
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
german
File:
PDF, 782 KB
Your tags:
german, 1992
52
Korrektur
Journal:
Mathematical Logic Quarterly
Year:
1992
File:
PDF, 45 KB
Your tags:
1992
53
ELIMINATION OF QUANTIFIERS OVER VECTORS IN SOME THEORIES OF VECTOR SPACES
Andrey A. Kuzichev
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 131 KB
Your tags:
english, 1992
54
LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR
Andrea Cantini
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 1.64 MB
Your tags:
english, 1992
55
TOPOLOGICAL FRAMEWORK FOR FINITE INJURY
Kyriakos Kontostathis
Journal:
Mathematical Logic Quarterly
Year:
1992
Language:
english
File:
PDF, 336 KB
Your tags:
english, 1992
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×